cleanrecords.sh

   1 #!/bin/sh
   2
   3 srcdir=${srcdir:-"."}
   4
   5 # these should not be here, will be created later
   6 if [ -f $srcdir/records/esdd0001.grs ]
   7     then
   8     rm -f $srcdir/records/esdd0001.grs
   9 fi
  10 if [ -f $srcdir/records/esdd0002.grs ]
  11     then
  12     rm -f $srcdir/records/esdd0002.grs
  13 fi