diff options
Diffstat (limited to 'source/script/uninstallscripts.sh')
| -rwxr-xr-x | source/script/uninstallscripts.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/script/uninstallscripts.sh b/source/script/uninstallscripts.sh index 13104acedd8..cf7fd719993 100755 --- a/source/script/uninstallscripts.sh +++ b/source/script/uninstallscripts.sh @@ -2,7 +2,7 @@ # 5 July 96 Dan.Shearer@UniSA.Edu.Au - almost identical to uninstallbin.sh INSTALLPERMS=$1 -BINDIR=$2 +BINDIR=`echo $2 | sed 's/\/\//\//g'` shift shift |