[#3497] consider minor schema number in CI job

diff --git a/src/share/database/scripts/utils/are-scripts-in-sync.py b/src/share/database/scripts/utils/are-scripts-in-sync.py
index 45b9253e27f12e31f928af55ea12773b27a64a12..7b42f9b92573873eab4ae9c775f1af7f18cae3fe 100755 (executable)
--- a/src/share/database/scripts/utils/are-scripts-in-sync.py
+++ b/src/share/database/scripts/utils/are-scripts-in-sync.py
@@ -54,12 +54,13 @@ def filter_the_noise(file, text, is_upgrade_script):
     '''
 
     # Determine the schema's latest version.
-    version = 0
+    version = None
+    pattern = re.compile(r"SET version = '(\d+)', minor = '(\d+)';")
     for i in text:
-        m = re.findall(r"SET version = '(\d+)', minor = '\d+';", i)
+        m = pattern.search(i)
         if m is not None:
-            version = max(version, int(m[0]) if len(m) else 0)
-    if version == 0:
+            version = f'{m[1]}.{m[2]}'
+    if version is None:
         print("ERROR: expected schema version upgrade statement of format "
               f"\"SET version = '\\d+', minor = '\\d+';\" in file \"{file}\", but not found.", file=sys.stderr)
         sys.exit(2)