From 986a206965da3f5bf6fd11d3285b5e19b6e066d1 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Wed, 28 Oct 2020 10:01:30 -0400
Subject: Makefile: Rebuild whenever the build flags change

This removes the need to do make clean before rebuilding with a new
build type.
---
 flags.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 flags.sh

(limited to 'flags.sh')

diff --git a/flags.sh b/flags.sh
new file mode 100755
index 0000000..8180eb4
--- /dev/null
+++ b/flags.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -e
+
+echo "$@" >.newflags
+
+if [ -e .flags ] && cmp -s .flags .newflags; then
+    rm .newflags
+else
+    mv .newflags .flags
+fi
-- 
cgit v1.2.3