diff options
Diffstat (limited to 'extra/scripts')
| -rwxr-xr-x | extra/scripts/install_headers.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/extra/scripts/install_headers.sh b/extra/scripts/install_headers.sh index 1b8d9c9ba..959e03fa0 100755 --- a/extra/scripts/install_headers.sh +++ b/extra/scripts/install_headers.sh @@ -42,7 +42,10 @@ while read -r filename; do if test -d "$1/$filename"; then mkdir -p "$2/$filename" 2>/dev/null else - "$top_builddir/extra/scripts/unifdef" -UUCLIBC_INTERNAL "$1/$filename" >"$2/$filename" || exit + # NB: unifdef exits with 1 if output is not + # exactly the same as input. That's ok. + # Do not abort the script if unifdef "fails"! + "$top_builddir/extra/scripts/unifdef" -UUCLIBC_INTERNAL "$1/$filename" >"$2/$filename" fi done ) |