-# There is reason for $SRC_DIR and $DEST_DIR to be on the same disk
-# parition, so find out where $DEST_DIR is and put $SRC_DIR there too.
-set old = $cwd
-chdir $DEST_DIR
-# Don't use $cwd; it won't follow the link
-set CUR_DIR = `pwd`
-set SRC_DIR_TMP = $CUR_DIR:h/_nameserver
-if (! -d $SRC_DIR_TMP) then
- /bin/rm -f $SRC_DIR_TMP
- /bin/mkdir $SRC_DIR_TMP
- /bin/chmod 755 $SRC_DIR_TMP
+# If $SRC_DIR does not already exist, make sure that it gets created
+# on the same parition as $DEST_DIR.
+if (! -d $SRC_DIR) then
+ chdir $DEST_DIR
+ mkdir ../_nameserver
+ chdir ../_nameserver
+ if ($SRC_DIR != `pwd`) ln -s `pwd` $SRC_DIR