diff options
| -rw-r--r-- | Makefile | 3 | ||||
| -rwxr-xr-x | flags.sh | 14 |
2 files changed, 2 insertions, 15 deletions
@@ -243,7 +243,8 @@ build/tests/%.o: tests/%.c build/FLAGS | build/tests # Save the full set of flags to rebuild everything when they change build/FLAGS: FORCE | build - @./flags.sh $@ $(CC) : $(ALL_CFLAGS) : $(ALL_LDFLAGS) : $(ALL_LDLIBS) + @echo $(CC) : $(ALL_CFLAGS) : $(ALL_LDFLAGS) : $(ALL_LDLIBS) >$@.tmp + @test -e $@ && cmp -s $@ $@.tmp && rm $@.tmp || mv $@.tmp $@ .PHONY: FORCE # Make sure that "make release" builds everything, but "make release build/main.o" doesn't diff --git a/flags.sh b/flags.sh deleted file mode 100755 index 5711a18..0000000 --- a/flags.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env bash - -set -eu - -OUT="$1" -shift - -echo "$@" >"$OUT.tmp" - -if [ -e "$OUT" ] && cmp -s "$OUT" "$OUT.tmp"; then - rm "$OUT.tmp" -else - mv "$OUT.tmp" "$OUT" -fi |