Merged main

benedikt-schesch · Sep 22, 2024 · 0dc01f5 · 0dc01f5
1 parent 0f42586
commit 0dc01f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run.sh b/run.sh
@@ -129,7 +129,7 @@ fi
   cd ./src/scripts/merge_tools/merging
   export JAVA_HOME=$JAVA17_HOME
   export PATH="$JAVA_HOME/bin:$PATH"
-  ./gradlew -q nativeCompile
+  ./gradlew shadowJar
 )
 
 echo "Machine ID: $machine_id"