diff options
| -rwxr-xr-x | install.sh | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/install.sh b/install.sh index 7c0e174..7aec82e 100755 --- a/install.sh +++ b/install.sh @@ -17,13 +17,15 @@ mkdir -p $CONFIG_INSTALL_PREFIX cp -r resources $CONFIG_INSTALL_PREFIX/ cp -r docs $CONFIG_INSTALL_PREFIX/ -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 +case "$(uname -s)" in + MINGW*) + cp $CONFIG_BUILD_DIR/bin/Pong* $CONFIG_INSTALL_PREFIX/ + ;; + *) + install -m755 src/launch.sh $CONFIG_INSTALL_PREFIX/Pong.run + cat $CONFIG_BUILD_DIR/bin/Pong* | xz -9 -c >> $CONFIG_INSTALL_PREFIX/Pong.run + ;; +esac if [ "$CONFIG_FLATPAK" = "true" ]; then |