Merge pull request #367 from coq/fix-coq-makefile-sources-of

coq_wrapper: pass COQBIN as the last argument
coq · Sep 28, 2023 · 49d35b0 · 49d35b0
2 parents 9efe1bf + e309123
commit 49d35b0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/linux/snap/coq_wrapper b/linux/snap/coq_wrapper
@@ -19,7 +19,7 @@ export LD_LIBRARY_PATH="$COQSTUBLIBS:$LD_LIBRARY_PATH"
 if [ "$SELF" == "bash" -o "$SELF" == "sh" ]; then # for debugging the snap
   exec $SELF "$@"
 elif [ "$SELF" == "coq_makefile" ]; then
-  exec $COQBIN/$SELF COQBIN = "$COQBIN/" "$@"
+  exec $COQBIN/$SELF "$@" COQBIN = "$COQBIN/"
 else
   exec $COQBIN/$SELF "$@"
-fi
+fi