Used /bin/sh format instead of /bin/csh format, by accident.

diff --git a/gen/nfs.sh b/gen/nfs.sh
index 6f7d6c75f10ff05f08cbfa4597e89ce58cb7a348..21c1899353f27940752833a6a91f29e0a0b39868 100644 (file)
--- a/gen/nfs.sh
+++ b/gen/nfs.sh
@@ -81,9 +81,11 @@ end
 
 
 # cleanup
-  if [ -f $TARFILE ] ; then rm -f $TARFILE ; fi
-  if [ -d $SRC_DIR ] ; then cd $SRC_DIR/.. ; rm -rf $SRC_DIR ; fi
-  if [ -f $0 ] ; then rm -r $0 ; fi
-fi
+if ( -f $TARFILE ) rm -f $TARFILE
+if ( -d $SRC_DIR ) then
+  cd $SRC_DIR/..
+  rm -rf $SRC_DIR
+endif
+if ( -f $0 ) rm -r $0
 
 exit 0