diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2022-04-19 16:00:09 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2022-04-19 16:00:09 -0400 |
| commit | 7793ddf23c4bc3ca3dcbe7c4e786426815f35b2b (patch) | |
| tree | 704b59de3aaefcb3551ca724f93d6d0e3dad8002 | |
| parent | a41df19413f8e1b45b25fc4bd6a4434ad38be057 (diff) | |
| download | bfs-7793ddf23c4bc3ca3dcbe7c4e786426815f35b2b.tar.xz | |
Makefile: Replace flags.sh with a two-line recipe
| -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 |