diff options
-rwxr-xr-x | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 7e62780..f8da630 100755 --- a/src/Makefile +++ b/src/Makefile @@ -105,5 +105,5 @@ $(TRACEPP_DIR)/tracepp: .PHONY : tracehash tracehash: mkdir -p $(BASE_OBJDIR) - $(THASH) -c -d $(BASE_OBJDIR) -s $(BASE_OBJDIR)/combStringFile + $(THASH) -c -d $(BASE_OBJDIR) -s $(BASE_OBJDIR)/occStringFile |