From 6c3451cf2aef8b5dc9ee7833b050816f76bec10d Mon Sep 17 00:00:00 2001
From: pboutill
Date: Tue, 4 Sep 2012 17:45:46 +0000
Subject: test-suite uses coqtop instead of coqtop.byte

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15769 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3