diff -r 68cc8e282a26 -r d26da280c934 dist.src/bin/uwproj --- /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