diff options
| author | Denis Vlasenko <vda.linux@googlemail.com> | 2008-05-01 12:14:25 +0000 |
|---|---|---|
| committer | Denis Vlasenko <vda.linux@googlemail.com> | 2008-05-01 12:14:25 +0000 |
| commit | 86d7cc836dafc8bf3b6f8be7db2917e8c1f5d54b (patch) | |
| tree | a9aa8951a1dddcd703eb8eaafffc39e948497b78 | |
| parent | 0c55850e1f13ed64c65a10530ce0c1f294893cfb (diff) | |
install_headers: do not exit if unifdef "fails", it's ok
| -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 ) |