From dea9babc59ca104719a5d2417c17f4aa9b7c1c6c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bodo=20M=C3=B6ller?= Date: Thu, 29 Apr 1999 22:06:28 +0000 Subject: [PATCH] Superseded by mklink.pl. Submitted by: Reviewed by: PR: --- util/mklink.sh | 41 ----------------------------------------- 1 file changed, 41 deletions(-) delete mode 100755 util/mklink.sh diff --git a/util/mklink.sh b/util/mklink.sh deleted file mode 100755 index 3eeba67b2e..0000000000 --- a/util/mklink.sh +++ /dev/null @@ -1,41 +0,0 @@ -#!/bin/sh -# -# A bit of an ugly shell script used to actually 'link' files. -# Used by 'make links' -# - -PATH=$PATH:.:util:../util:../../util -export PATH - -from=$1 -shift - -here=`pwd` -tmp=`dirname $from` -prefix='..' - -while [ `basename $tmp`x != ..x -a `basename $tmp`x != .x ] -do - prefix=../$prefix - tmp=`dirname $tmp` -done - -to='' -while [ "$tmp"x != "x" -a "$tmp"x != ".x" ] -do - t=`basename $here` - here=`dirname $here` - to="/$t$to" - tmp=`dirname $tmp` -done -to=$prefix$to - -if [ "$*"x != "x" ]; then - for i in $* - do - rm -f $from/$i - ln -s $to/$i $from/$i - echo "$i => $from/$i" - done -fi -exit 0;