| changeset 547 | 23e30d32cd0d |
| parent 370 | e95e212512d1 |
| child 699 | 2da262e85c4d |
--- a/make-all-poly Thu Aug 18 17:56:07 1994 +0200 +++ b/make-all-poly Fri Aug 19 10:57:40 1994 +0200 @@ -4,6 +4,5 @@ ML_DBASE=/usr/groups/theory/poly/`arch`/ML_dbase ISABELLEBIN=/homes/`whoami`/bin ISABELLECOMP="poly -noDisplay -h 15000" -ISABELLEMAKE=Makefile -export ML_DBASE ISABELLEBIN ISABELLECOMP ISABELLEMAKE +export ML_DBASE ISABELLEBIN ISABELLECOMP nohup make-all $*