From 51b676a98a20504c9520cc9f229729bdc2026e27 Mon Sep 17 00:00:00 2001 From: julian Date: Wed, 10 Apr 2024 14:43:09 +0200 Subject: [PATCH] update compile.sh to use old state, because multiple source files at once very slow/not working --- compile.sh | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/compile.sh b/compile.sh index 0706bf8f..8b65507f 100755 --- a/compile.sh +++ b/compile.sh @@ -56,21 +56,21 @@ for file in "${JAV_FILES[@]}"; do done # Not used because it is currently extremely slow/not working -#if [ "${#JAV_CHANGED[@]}" -ne 0 ]; then -# echo "java -jar $JAVATX_COMPILER_PATH -d $DESTDIR -cp "$SRCDIR:$DESTDIR:target/dependencies/" ${JAV_CHANGED[@]}" -# java -jar $JAVATX_COMPILER_PATH -d $DESTDIR -cp "$SRCDIR:$DESTDIR:target/dependencies/" "${JAV_CHANGED[@]}" -#fi - if [ "${#JAV_CHANGED[@]}" -ne 0 ]; then - for ((i = 0; i < "${#JAV_CHANGED[@]}"; i++)); do - echo "java -jar $JAVATX_COMPILER_PATH -d "$DESTDIR" -cp "$SRCDIR:$DESTDIR:target/dependencies/" ${JAV_CHANGED[i]}" - java -jar $JAVATX_COMPILER_PATH -d "$DESTDIR" -cp "$SRCDIR:$DESTDIR:target/dependencies/" "${JAV_CHANGED[i]}" - if [ $? -eq 1 ]; then - exit 1; - fi - done + echo "java -jar $JAVATX_COMPILER_PATH -d $DESTDIR -cp "$SRCDIR:$DESTDIR:target/dependencies/" ${JAV_CHANGED[@]}" + java -jar $JAVATX_COMPILER_PATH -d $DESTDIR -cp "$SRCDIR:$DESTDIR:target/dependencies/" "${JAV_CHANGED[@]}" fi +#if [ "${#JAV_CHANGED[@]}" -ne 0 ]; then +# for ((i = 0; i < "${#JAV_CHANGED[@]}"; i++)); do +# echo "java -jar $JAVATX_COMPILER_PATH -d "$DESTDIR" -cp "$SRCDIR:$DESTDIR:target/dependencies/" ${JAV_CHANGED[i]}" +# java -jar $JAVATX_COMPILER_PATH -d "$DESTDIR" -cp "$SRCDIR:$DESTDIR:target/dependencies/" "${JAV_CHANGED[i]}" +# if [ $? -eq 1 ]; then +# exit 1; +# fi +# done +#fi + #if [ "${#JAVA_CHANGED[@]}" -ne 0 ]; then # echo "javac -d $DESTDIR -cp "$SRCDIR:$DESTDIR:target/dependencies/*" $JAVAC_FLAGS ${JAVA_CHANGED[@]}" # javac -d $DESTDIR -cp "$SRCDIR:$DESTDIR:target/dependencies/*" $JAVAC_FLAGS "${JAVA_CHANGED[@]}"