docs_version_pragma_check.sh: Fail when there is no matching release

2023-10-03 13:03:40 +00:00 · 2020-12-12 04:52:16 +01:00
parent 6fc45b3e02
commit 304b2fe232
1 changed files with 1 additions and 0 deletions
@@ -120,6 +120,7 @@ function findMinimalVersion()
    if [ -z "$version" ]
    then
        printError "No release $sign$pragmaVersion was listed in available releases!"
+        exit 1
    fi
 }