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