diff options
Diffstat (limited to 'build/cc.sh')
-rwxr-xr-x | build/cc.sh | 21 |
1 files changed, 3 insertions, 18 deletions
diff --git a/build/cc.sh b/build/cc.sh index e1d2b0b..b6f38b5 100755 --- a/build/cc.sh +++ b/build/cc.sh @@ -9,26 +9,11 @@ set -eu -QUIET= +# Without -q, print the executed command for config.log if [ "$1" = "-q" ]; then - QUIET=y shift -fi - -# Source files can specify their own flags with lines like -# -# /// _CFLAGS += -Wmissing-variable-declarations -# -# which will be added to the makefile on success, or lines like -# -# /// -Werror -# -# which are just used for the current file. -EXTRA_FLAGS=$(sed -n '\|^///|{s|^/// ||; s|[^=]*= ||; p;}' "$1") - -# Without -q, print the executed command for config.log -if [ -z "$QUIET" ]; then +else set -x fi -$XCC $XCPPFLAGS $XCFLAGS $XLDFLAGS "$@" $EXTRA_FLAGS $XLDLIBS +$XCC $XCPPFLAGS $XCFLAGS $XLDFLAGS "$@" $XLDLIBS |