2023-07-06 21:22:45 +02:00
|
|
|
#!/bin/bash
|
2020-09-18 18:43:43 +02:00
|
|
|
set -e
|
|
|
|
|
set +x
|
|
|
|
|
|
|
|
|
|
trap "cd $(pwd -P)" EXIT
|
|
|
|
|
cd "$(dirname $0)"
|
2022-04-22 21:35:35 +02:00
|
|
|
source "../utils.sh"
|
2020-09-18 18:43:43 +02:00
|
|
|
|
2022-04-22 21:35:35 +02:00
|
|
|
if is_win; then
|
2020-09-18 18:43:43 +02:00
|
|
|
/c/Windows/System32/cmd.exe "/c buildwin.bat"
|
|
|
|
|
else
|
|
|
|
|
echo "ERROR: cannot upload on this platform!" 1>&2
|
|
|
|
|
exit 1;
|
|
|
|
|
fi
|
