1 files changed, 12 insertions, 0 deletions
diff --git a/out/CC.do b/out/CC.do
new file mode 100644
index 0000000..f18177a
--- /dev/null
+++ b/out/CC.do
@@ -0,0 +1,12 @@
+redo-ifchange config.sh
+. ./config.sh
+
+exec >$3
+cat <<-EOF
+	redo-ifchange \$SRCDIR/\$2.c
+	$CC $CFLAGS -MD -MF \$3.deps -o \$3 -c \$SRCDIR/\$2.c
+	read DEPS <\$3.deps
+	rm -f \$3.deps
+	redo-ifchange \${DEPS#*:}
+EOF
+chmod +x $3