1 |
#!/bin/sh |
#!/bin/sh |
2 |
exec /home/wfs/cvs/gcl/unixport/saved_gcl \ |
exec /fix/f/debian/mm/gcl/gcl-2.5.0/unixport/saved_gcl \ |
3 |
-dir /home/wfs/cvs/gcl/unixport/ \ |
-dir /fix/f/debian/mm/gcl/gcl-2.5.0/unixport/ \ |
4 |
-libdir /home/wfs/cvs/gcl/ \ |
-libdir /fix/f/debian/mm/gcl/gcl-2.5.0/ \ |
5 |
-eval '(setq si::*allow-gzipped-file* t)' \ |
-eval '(setq si::*allow-gzipped-file* t)' \ |
6 |
-eval '(setq si::*tk-library* "/usr/lib/tk8.3")' \ |
-eval '(setq si::*tk-library* "/usr/lib/tk8.2")' \ |
7 |
"$@" |
"$@" |
8 |
# other options: -load /tmp/foo.o -load jo.lsp -eval "(joe 3)" |
# other options: -load /tmp/foo.o -load jo.lsp -eval "(joe 3)" |