|
|
@@ -8,7 +8,7 @@ if [[ "$0" == *-dbg ]]; then opt='-Og -fsanitize=undefined,address -DDEBUG'; els |
|
|
|
targetfile="$(dirname "$0")/.make-and-exec-binaries/$(basename "$0")" |
|
|
|
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 |
|
|
|
gcc -Wall -Wextra -Wshadow -Werror ${opt} ${CFLAGS} -o "${targetfile}" "${sourcename}" || exit |
|
|
|
testfile="$(dirname "$0")/.$(basename "${0%-dbg}")-test" |
|
|
|
if [[ -f "${testfile}" ]]; then |
|
|
|
"${testfile}" || { st=$?; touch -d '1970-01-01T00:00:00Z' "${targetfile}"; exit "${st}"; } |
|
|
|