diff --git a/.make-and-exec b/.make-and-exec index 0711f15..6c501c1 100755 --- a/.make-and-exec +++ b/.make-and-exec @@ -6,7 +6,7 @@ sourcename="${0%-dbg}.c" if [[ "$0" == *-dbg ]]; then opt='-Og -fsanitize=undefined,address -DDEBUG'; else opt='-O3'; fi targetfile="$(dirname "$0")/.make-and-exec-binaries/$(basename "$0")" -if [[ ! -f "${targetfile}" || "${sourcename}" -nt "${targetfile}" ]]; then +if [[ ! -f "${targetfile}" || "${sourcename}" -nt "${targetfile}" || "${BASH_SOURCE}" -nt "${targetfile}" ]]; then mkdir -p "$(dirname "$0")/.make-and-exec-binaries" gcc ${opt} ${CFLAGS} -o "${targetfile}" "${sourcename}" || exit testfile="$(dirname "$0")/.$(basename "${0%-dbg}")-test"