diff options
Diffstat (limited to 'GUI/Libraries/fetch.sh')
| -rw-r--r-- | GUI/Libraries/fetch.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/GUI/Libraries/fetch.sh b/GUI/Libraries/fetch.sh deleted file mode 100644 index dcf096c..0000000 --- a/GUI/Libraries/fetch.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -set -o xtrace - -WX_3_2_1_URL=https://github.com/wxWidgets/wxWidgets/releases/download/v3.2.1/wxWidgets-3.2.1.zip -WX_URL=$WX_3_2_1_URL - -mkdir wx -pushd wx >/dev/null -wget $WX_URL -unzip $(basename $WX_URL) -popd >/dev/null - |