|
|
@@ -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" |
|
|
|