run also with full debug output

Author: zoff99

.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