coq_wrapper: pass COQBIN as the last argument

coq · Sep 26, 2023 · e309123 · e309123
1 parent 9efe1bf
commit e309123
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