diff --git a/Makefile.config b/Makefile.config index d94552f110d..f4def414305 100644 --- a/Makefile.config +++ b/Makefile.config @@ -15,7 +15,7 @@ LLVM_OBJ_DIR = /shared/$(shell whoami) # Path to executable for Burg # -BURG = /home/vadve/vadve/Research/DynOpt/Burg/burg +BURG = $(LEVEL)/utils/Burg/burg # Path to location for purify #