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 /flags.sh | |
| parent | a41df19413f8e1b45b25fc4bd6a4434ad38be057 (diff) | |
| download | bfs-7793ddf23c4bc3ca3dcbe7c4e786426815f35b2b.tar.xz | |
Makefile: Replace flags.sh with a two-line recipe
Diffstat (limited to 'flags.sh')
| -rwxr-xr-x | flags.sh | 14 |
1 files changed, 0 insertions, 14 deletions
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 |