| -rwxr-xr-x | gcl/bin/gcl | 8 |
diff --git a/gcl/bin/gcl b/gcl/bin/gcl deleted file mode 100755 index cdfee02a7..000000000 --- a/gcl/bin/gcl +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh -exec /fix/f/debian/mm/gcl/gcl-2.5.0/unixport/saved_gcl \ - -dir /fix/f/debian/mm/gcl/gcl-2.5.0/unixport/ \ - -libdir /fix/f/debian/mm/gcl/gcl-2.5.0/ \ - -eval '(setq si::*allow-gzipped-file* t)' \ - -eval '(setq si::*tk-library* "/usr/lib/tk8.2")' \ - "$@" -# other options: -load /tmp/foo.o -load jo.lsp -eval "(joe 3)" |