#!/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