commit 7c56da9b4467bd6b325bce35c9fb998f55a04313
author Marc Kupietz <kupietz@ids-mannheim.de> Thu Sep 25 10:47:20 2025 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> Thu Sep 25 10:47:20 2025 +0200
tree 3c595467a20976b1b99577e83e07d36bfa527607
parent 82e5b7b235db177588a0a41db40e7786fed2ebfa

ci: copy Saxon license when file variable is readable (-r)

.gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1c238b9..779e1af 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,7 +28,7 @@
     - source `find .. -name section_helper.sh`
     - mkdir -p "$SAXON_HOME"
     - |
-      if [ -n "$SAXON_LICENSE" ] && [ -f "$SAXON_LICENSE" ]; then
+      if [ -r "$SAXON_LICENSE" ]; then
         cp "$SAXON_LICENSE" "$SAXON_HOME/saxon-license.lic"
       fi
     - start_section install_linux_packages "Installing missing Linux packages"
@@ -76,7 +76,7 @@
     - source `find .. -name section_helper.sh`
     - mkdir -p "$SAXON_HOME"
     - |
-      if [ -n "$SAXON_LICENSE" ] && [ -f "$SAXON_LICENSE" ]; then
+      if [ -r "$SAXON_LICENSE" ]; then
         cp "$SAXON_LICENSE" "$SAXON_HOME/saxon-license.lic"
       fi
     - start_section install_linux_packages "Installing missing Linux packages"
@@ -124,7 +124,7 @@
     - source `find .. -name section_helper.sh`
     - mkdir -p "$SAXON_HOME"
     - |
-      if [ -n "$SAXON_LICENSE" ] && [ -f "$SAXON_LICENSE" ]; then
+      if [ -r "$SAXON_LICENSE" ]; then
         cp "$SAXON_LICENSE" "$SAXON_HOME/saxon-license.lic"
       fi
     - start_section setup_ssh "Setting up SSH"