diff options
Diffstat (limited to 'scripts/headers.sh')
-rwxr-xr-x | scripts/headers.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/headers.sh b/scripts/headers.sh index 95ece06599a5..d4dc4de5cea1 100755 --- a/scripts/headers.sh +++ b/scripts/headers.sh | |||
@@ -19,8 +19,6 @@ for arch in ${archs}; do | |||
19 | case ${arch} in | 19 | case ${arch} in |
20 | um) # no userspace export | 20 | um) # no userspace export |
21 | ;; | 21 | ;; |
22 | cris) # headers export are known broken | ||
23 | ;; | ||
24 | *) | 22 | *) |
25 | if [ -d ${srctree}/arch/${arch} ]; then | 23 | if [ -d ${srctree}/arch/${arch} ]; then |
26 | do_command $1 ${arch} | 24 | do_command $1 ${arch} |