1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index c5afabd8..0ca893d2 100755
--- a/configure
+++ b/configure
@@ -768,7 +768,7 @@ B cparser
 B extraction
 EOF
 
-make CoqProject
+$make CoqProject
 
 #
 # Clean up target-dependent files to force their recompilation