diff options
| -rw-r--r-- | test-suite/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 447160e594..0b75a01bb3 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -30,7 +30,7 @@ BIN := ../bin/ LIB := .. -coqtop := $(BIN)coqtop.byte -boot -q -batch -I prerequisite +coqtop := $(BIN)coqtop -boot -q -batch -I prerequisite bincoqc := $(BIN)coqc -coqlib $(LIB) -I prerequisite command := $(coqtop) -top Top -load-vernac-source |