diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-07-30 13:38:39 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-07-30 13:38:39 -0700 |
| commit | ad640caac60bcb000ea0647b77f809a714aaaad2 (patch) | |
| tree | a313e6890501062616f42f56cde7ff0cbbf076f7 /Makefile | |
| parent | f3954ac151721dbc190f18fad054829c7f76c92e (diff) | |
Removing DEBUG_HEAP, just do a full cleanup all the time
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -45,8 +45,7 @@ clean: test: $(NAME) ./$(NAME) -g ./grammars/bp.bp -p Grammar ./grammars/bp.bp -leaktest: - make G=-ggdb O=-O0 EXTRA=-DDEBUG_HEAP clean bp +leaktest: bp valgrind --leak-check=full ./bp -l -g ./grammars/bp.bp -p Grammar ./grammars/bp.bp splint: |