run also with full debug output

zoff99 · Dec 27, 2024 · c010dd0 · c010dd0
1 parent b6e05e0
commit c010dd0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check_jni_libs.yml b/.github/workflows/check_jni_libs.yml
@@ -26,7 +26,7 @@ jobs:
       - uses: actions/checkout@v4
 
       - name: with full debug output
-        run: set -x ; tools/check_release_jni_libs.sh
+        run: bash -x tools/check_release_jni_libs.sh
 
       - name: check if checked in JNI libs are ok
         run: tools/check_release_jni_libs.sh