1 files changed, 13 insertions, 0 deletions
diff --git a/.compile.do b/.compile.do
new file mode 100755
index 0000000..310ddd5
--- /dev/null
+++ b/.compile.do
@@ -0,0 +1,13 @@
+#!/bin/bash -e
+redo-ifchange .config.rc
+. ./.config.rc
+exec >"$3"
+echo "# generated by $0"
+echo "CC=$CC"
+echo "CFLAGS=(${CFLAGS[@]@Q})"
+echo "CPPFLAGS=(${CPPFLAGS[@]@Q})"
+echo '"$CC" -MMD -MF "${1%.o}.d" "${CFLAGS[@]}" "${CPPFLAGS[@]}" -c -o "$3" "${1%.o}.c"'
+command -v redo-stamp >/dev/null 2>&1 && redo-stamp <"$3"
+if command -v redo-stamp >/dev/null 2>&1; then
+	redo-stamp <"$3"
+fi