]> www.ginac.de Git - ginac.git/blobdiff - cint/ginaccint.in
- Added parameter passing.
[ginac.git] / cint / ginaccint.in
index 2128a1417146d4129ef080a00a5f5fe4f972b82f..14c9d499b89d8571708dac5417adedb64d484d2a 100644 (file)
@@ -10,4 +10,4 @@ if [ "x$CINTSYSDIR" = "x" ]; then
   CINTSYSDIR=$config_cintsysdir
   export CINTSYSDIR
 fi
-exec ${bindir}/${binprog}
+exec ${bindir}/${binprog} "$@"