Makefile: Rebuild whenever the build flags change

This removes the need to do make clean before rebuilding with a new
build type.

1 files changed, 11 insertions, 0 deletions

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