Merge pull request #21 from SantiagoBautista/master

Minor fix: check if ~/bin exists before copying scyther-linux
This commit is contained in:
Cas Cremers 2019-11-20 14:21:25 +01:00 committed by GitHub
commit d7087dcc41
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 4 deletions

View File

@ -18,8 +18,10 @@ echo "Built the Linux binary"
cp scyther-linux ../gui/Scyther/
# bonus...
cp scyther-linux ~/bin
if [ -d ~/bin ] ; then
cp scyther-linux ~/bin/
fi
echo Copied the file to the gui directory and \~/bin
echo "Copied the file to the gui directory and \~/bin (if present)"
echo "---------------------------------------------------------"

View File

@ -15,8 +15,10 @@ echo "Built the Linux binary"
cp scyther-linux ../gui/Scyther/
# bonus...
cp scyther-linux ~/bin
if [ -d ~/bin ] ; then
cp scyther-linux ~/bin/
fi
echo Copied the file to the gui/Scyther directory and \~/bin
echo "Copied the file to the gui/Scyther directory and ~/bin (if present)"
echo "---------------------------------------------------------"