clean up existing git-media binaries after installs
This commit is contained in:
parent
00c455e07b
commit
2041927b90
@ -6,6 +6,7 @@ elif [ "$BOXEN_HOME" != "" ] ; then
|
|||||||
prefix=$BOXEN_HOME
|
prefix=$BOXEN_HOME
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
rm -rf $prefix/bin/git-media*
|
||||||
for g in git*; do
|
for g in git*; do
|
||||||
cp $g "$prefix/bin/$g"
|
cp $g "$prefix/bin/$g"
|
||||||
done
|
done
|
||||||
|
Loading…
Reference in New Issue
Block a user