File indexing completed on 2024-05-12 16:45:17
0001 #!/bin/sh 0002 EXE=skgtestmultidocument 0003 0004 #initialisation 0005 . "`dirname \"$0\"`/init.sh" 0006 "${EXE}" 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 EXE=skgtestmultidocument 0003 0004 #initialisation 0005 . "`dirname \"$0\"`/init.sh" 0006 "${EXE}" 0007 rc=$? 0008 if [ $rc != 0 ] ; then 0009 exit $rc 0010 fi 0011 0012 exit 0