changeset 2143:fe675f6fa03a

[project @ 1996-05-13 05:27:08 by jwe]
author jwe
date Mon, 13 May 1996 05:27:08 +0000
parents 3dc97364d58e
children d5af81681fda
files src/mk-oct-links.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/mk-oct-links.in	Mon May 13 04:34:11 1996 +0000
+++ b/src/mk-oct-links.in	Mon May 13 05:27:08 1996 +0000
@@ -23,7 +23,7 @@
         true
       else
 	echo "creating link $n.oct -> $base.oct"
-        ( cd $links_dir; $LN_S $base.oct $n.oct )
+        ( cd $links_dir; rm -f $n.oct; $LN_S $base.oct $n.oct )
       fi
     done
   fi