Ensure the installation prefix exists before installing into it
This commit is contained in:
parent
eb22d748d8
commit
fe6bba2b69
@ -6,6 +6,8 @@ elif [ "$BOXEN_HOME" != "" ] ; then
|
||||
prefix=$BOXEN_HOME
|
||||
fi
|
||||
|
||||
mkdir -p $prefix/bin
|
||||
|
||||
rm -rf $prefix/bin/git-media*
|
||||
for g in git*; do
|
||||
cp $g "$prefix/bin/$g"
|
||||
|
Loading…
Reference in New Issue
Block a user