build_profile, make.log and other stuff

2023-02-13 19:24:47 +06:00
parent 1b38b43c54
commit a0cdbf5522
15 changed files with 315 additions and 140 deletions
--- a/default_tasks/valgrind.sh
+++ b/default_tasks/valgrind.sh
@@ -1,6 +1,7 @@
 #!/bin/bash

-cd $OUTDIR
+cd "$OUTDIR"
 valgrind $VALGRIND_ARGS ./$EXEC_FILE
 cat "valgrind.log"
+myprint "${GREEN}valgrind log saved to ${CYAN}$OUTDIR/exec.log"
 cd ..