lib/scripts/run-mosml
changeset 29145 b1c6f4563df7
parent 14981 e73f8140af78
child 31315 3c7b40548a84
equal deleted inserted replaced
29144:ca186ebbd824 29145:b1c6f4563df7
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # $Id$
       
     4 # Author: Markus Wenzel, TU Muenchen
     3 # Author: Markus Wenzel, TU Muenchen
     5 #
     4 #
     6 # Moscow ML 2.00 startup script
     5 # Moscow ML 2.00 startup script
     7 
     6 
     8 export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE
     7 export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE