dist/bin/uwproj@135c0599f883
dist/bin/uwproj
Tue, 13 Aug 2019 21:37:01 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Tue, 13 Aug 2019 21:37:01 +0200
- changeset 10
- 135c0599f883
- parent 8
- 82cd9f1d94cb
- child 18
- 0df7309d498e
- permissions
- -rwxr-xr-x
fix toolchain script
#!/bin/sh PREFIX=/usr java -jar $PREFIX/lib/uwproj/uwproj-0.1.jar "$@" if [ $? -eq 0 ]; then chmod +x configure fi
