comparison: dist/bin/uwproj
dist/bin/uwproj
- changeset 8
- 82cd9f1d94cb
- parent 0
- 38775db5fdf5
- child 18
- 0df7309d498e
equal
deleted
inserted
replaced
1 #!/bin/sh |
1 #!/bin/sh |
2 |
2 |
3 PREFIX=/usr |
3 PREFIX=/usr |
4 |
4 |
5 java -jar $PREFIX/lib/uwproj/uwproj-0.1.jar "$@" |
5 java -jar $PREFIX/lib/uwproj/uwproj-0.1.jar "$@" |
|
6 if [ $? -eq 0 ]; then |
|
7 chmod +x configure |
|
8 fi |