From 5399d5eb50d52ac1a71c2cc39954673f8cd0e6f9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= Date: Wed, 14 Feb 2024 14:33:10 +0100 Subject: [PATCH] Change location to see if syntax error still ocurs --- docker-action/entrypoint.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docker-action/entrypoint.sh b/docker-action/entrypoint.sh index d8aee7d..48e044f 100644 --- a/docker-action/entrypoint.sh +++ b/docker-action/entrypoint.sh @@ -101,6 +101,10 @@ if [[ $INPUT_CHECKCONSISTENCY -eq 1 ]]; then GOBRA_ARGS="$GOBRA_ARGS --checkConsistency" fi +if [[ $INPUT_OVERFLOW -eq 1]]; then + GOBRA_ARGS="$GOBRA_ARGS --overflow" +fi + if [[ $INPUT_MCEMODE ]]; then GOBRA_ARGS="$GOBRA_ARGS --mceMode=$INPUT_MCEMODE" fi @@ -117,10 +121,6 @@ if [[ $INPUT_CONDITIONALIZEPERMISSIONS -eq 1 ]]; then GOBRA_ARGS="$GOBRA_ARGS --conditionalizePermissions" fi -if [[ $INPUT_OVERFLOW -eq 1 ]]; then - GOBRA_ARGS="$GOBRA_ARGS --overflow" -fi - if [[ $INPUT_STATSFILE ]]; then # We write the file to /tmp/ (which is easier then making gobra write directly # to the STATS_TARGET, as doing so often causes Gobra to not generate a file) due