File indexing completed on 2024-06-16 04:47:53
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
File indexing completed on 2024-06-16 04:47:53
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