1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 6a32cba..1e6c076 100644
--- a/Makefile
+++ b/Makefile
@@ -132,8 +132,8 @@ progit/progit.md: progit
 bench: $(BENCHFILE)
 	{ sudo renice 99 $$$$; \
 	  for x in `seq 1 $(NUMRUNS)` ; do \
-	  /usr/bin/env time -p ${PROG} </dev/null >/dev/null ; \
-	  /usr/bin/env time -p ${PROG} <$< >/dev/null ; \
+	  /usr/bin/env time -p $(PROG) </dev/null >/dev/null ; \
+	  /usr/bin/env time -p $(PROG) <$< >/dev/null ; \
 		  done \
 	} 2>&1  | grep 'real' | awk '{print $$2}' | python3 'bench/stats.py'