mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-24 11:41:58 +00:00
dont blindly remove all the /usr/local/plan9
This commit is contained in:
parent
e00db7f084
commit
8824e122a3
1 changed files with 6 additions and 0 deletions
|
@ -1,6 +1,12 @@
|
|||
#!/bin/sh
|
||||
|
||||
p=`cleanname $PLAN9`
|
||||
if [ X"$p" = X"" ]
|
||||
then
|
||||
echo cleanname failed 1>&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
cd $PLAN9
|
||||
echo "
|
||||
X ,s;/usr/local/plan9($|/|});$p\\1;g
|
||||
|
|
Loading…
Reference in a new issue