2 # $Id: cleanrecords.sh,v 1.1 2006-04-27 10:52:26 marc Exp $
6 # these should not be here, will be created later
7 if [ -f $srcdir/records/esdd0001.grs ]
9 rm -f $srcdir/records/esdd0001.grs
11 if [ -f $srcdir/records/esdd0002.grs ]
13 rm -f $srcdir/records/esdd0002.grs