diff options
| -rwxr-xr-x | build/flags-if.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/flags-if.sh b/build/flags-if.sh index 7de7bbd..76e1c34 100755 --- a/build/flags-if.sh +++ b/build/flags-if.sh @@ -8,7 +8,7 @@ set -eu OLD_FLAGS="$XCC $XCPPFLAGS $XCFLAGS $XLDFLAGS $XLDLIBS" -NEW_FLAGS=$(sed -n '\|^///|{s|^/// ||; s|[^=]*= ||; p}' "$1") +NEW_FLAGS=$(sed -n '\|^///|{s|^/// ||; s|[^=]*= ||; p;}' "$1") build/cc.sh "$@" $NEW_FLAGS || exit 1 # De-duplicate against the existing flags |