dist.src/bin/uwproj

changeset 50
d26da280c934
parent 18
0df7309d498e
child 90
a13789dd1cfb
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dist.src/bin/uwproj	Tue Sep 12 22:42:12 2023 +0200
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+PREFIX=%%PREFIX%%
+
+java -jar $PREFIX/lib/uwproj/uwproj-${project.version}.jar "$@"
+if [ $? -eq 0 ]; then
+	chmod +x configure
+fi

mercurial