Update build.sh

This commit is contained in:
Charles J. Cliffe 2019-01-07 23:40:08 -05:00 committed by GitHub
parent 73aed6c9cc
commit 9758b5670d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,8 +24,7 @@ make -j2 > /dev/null
sudo make install sudo make install
# wxWidgets # wxWidgets
if [ ! -d "$HOME/build/wxWidgets/staticlib" ] if [ ! -f "$HOME/build/wxWidgets/staticlib/bin/wx-config" ]; then
then
echo "wxWidgets cache not found; building." echo "wxWidgets cache not found; building."
cd $HOME/build cd $HOME/build
mkdir -p $HOME/build/wxWidgets/staticlib mkdir -p $HOME/build/wxWidgets/staticlib