updateted2.sh 637 B

123456789101112131415161718192021222324252627282930
  1. source common.sh
  2. echo ""
  3. echo "***** Updating ted2 *****"
  4. echo ""
  5. $mx2cc makeapp -apptype=gui -build -config=release -target=desktop ../src/ted2/ted2.monkey2
  6. $mx2cc makeapp -apptype=gui -build -config=release -target=desktop ../src/launcher/launcher.monkey2
  7. if [ "$OSTYPE" = "linux-gnu" ]
  8. then
  9. rm -r -f "$ted2"
  10. cp -R "$ted2_new" "$ted2"
  11. rm -r -f "$launcher"
  12. cp -R "$launcher_new" "$launcher"
  13. else
  14. rm -r -f "$ted2"
  15. cp -R "$ted2_new" "$ted2"
  16. rm -r -f "$launcher"
  17. cp -R "$launcher_new" "$launcher"
  18. cp ../src/launcher/info.plist "$launcher/Contents"
  19. cp ../src/launcher/Monkey2logo.icns "$launcher/Contents/Resources"
  20. fi