File indexing completed on 2024-06-09 05:04:27

0001 #!/bin/sh
0002 
0003 #initialisation
0004 . "`dirname \"$0\"`/init.sh"
0005 
0006 sikulirun operation
0007 rc=$?
0008 if [ $rc != 0 ] ; then
0009         exit $rc
0010 fi
0011 
0012 exit 0