fix for debian/ubuntu having lowercase filenames

This commit is contained in:
Aidan Hahn 2019-05-31 13:35:09 -07:00
parent 32499676d9
commit fcfde27941
No known key found for this signature in database
GPG key ID: 327711E983899316

View file

@ -89,9 +89,15 @@ mkdir staging
mkdir staging/client mkdir staging/client
mkdir staging/server mkdir staging/server
mkdir staging/test mkdir staging/test
tar -xvf build/distributions/JobServ.tar -C staging/client
tar -xvf build/distributions/JobServ.tar -C staging/server DIST_TAR=JobServ.tar
tar -xvf build/distributions/JobServ.tar -C staging/test if [ -e build/distributions/jobserv.tar]; then
DIST_TAR=jobserv.tar
fi
tar -xvf build/distributions/$DIST_TAR -C staging/client
tar -xvf build/distributions/$DIST_TAR -C staging/server
tar -xvf build/distributions/$DIST_TAR -C staging/test
echo "[+] removing server capabilities from client" echo "[+] removing server capabilities from client"
rm staging/client/JobServ/bin/jobserv-server staging/client/JobServ/bin/jobserv-server.bat rm staging/client/JobServ/bin/jobserv-server staging/client/JobServ/bin/jobserv-server.bat