File indexing completed on 2024-05-12 16:45:17
0001 #!/bin/sh 0002 0003 #initialisation 0004 . "`dirname \"$0\"`/init.sh" 0005 0006 sikulirun print 0007 rc=$? 0008 if [ $rc != 0 ] ; then 0009 exit $rc 0010 fi 0011 0012 exit 0
File indexing completed on 2024-05-12 16:45:17
0001 #!/bin/sh 0002 0003 #initialisation 0004 . "`dirname \"$0\"`/init.sh" 0005 0006 sikulirun print 0007 rc=$? 0008 if [ $rc != 0 ] ; then 0009 exit $rc 0010 fi 0011 0012 exit 0