diff options
Diffstat (limited to 'install.sh')
-rwxr-xr-x | install.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/install.sh b/install.sh index 8c61578..564e708 100755 --- a/install.sh +++ b/install.sh @@ -16,8 +16,14 @@ set -x mkdir -p $CONFIG_INSTALL_PREFIX cp -r resources $CONFIG_INSTALL_PREFIX/ cp -r docs $CONFIG_INSTALL_PREFIX/ -install -m755 $CONFIG_BUILD_DIR/bin/Pong* $CONFIG_INSTALL_PREFIX/ -install -m755 src/launch.sh $CONFIG_INSTALL_PREFIX/launch_pong + +if [ "$(uname -s)" = "MINGW*" ]; +then + cp $CONFIG_BUILD_DIR/bin/Pong* $CONFIG_INSTALL_PREFIX/ +else + install -m755 src/launch.sh $CONFIG_INSTALL_PREFIX/Pong.run + cat $CONFIG_BUILD_DIR/bin/Pong* | xz -9 -c >> $CONFIG_INSTALL_PREFIX/Pong.run +fi if [ "$CONFIG_FLATPAK" = "true" ]; then |