1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/csh
################################################################
## Copyright (C) 1996 Joergen Backelin
##
## Bergman is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY. No author or distributor
## accepts responsibility to anyone for the consequences of using it
## or for whether it serves any particular purpose or works at all,
## unless (s)he says so in writing. Refer to the Bergman General
## Public License for full details.
## Everyone is granted permission to copy, modify and redistribute
## bergman, but only under the conditions described in the
## Bergman General Public License. A copy of this license is
## supposed to have been given to you along with bergman so you
## can know your rights and responsibilities. It should be in a
## file named copyright. Among other things, the copyright notice
## and this notice must be preserved on all copies.
################################################################
source /home/guestjba/bergman9885/bin/Red/linux/shellenv
exec /home/guestjba/reduce64/64/lisp/psl/linux/psl/bpsl -td 1000000000 -f /home/guestjba/bergman9885/bin/Red/linux/bergman.img
#exec /home/guestjba/bergman9885/bin/Red/linux/bergman
|
