1.1 ! takayama 1: #!/bin/bash ! 2: # $OpenXM$ ! 3: source $(OpenXM_HOME)/rc/dot.bashrc ! 4: sm1 -q -s "[(parse) (oxs.sm1) pushfile] extension oxNoX [(parse) (cgi.sm1) pushfile] extension cgiPolymake quit "