redo-ifchange config.sh
. ./config.sh
exec >$3
cat <<-EOF
	redo-ifchange \$2.c
	cc $CFLAGS -MD -MF \$3.deps -o \$3 -c \$2.c
	read DEPS <\$3.deps
	rm -f \$3.deps
	redo-ifchange \${DEPS#*:}
EOF
chmod +x $3