Fix goblint-lib-modules.py exit code

goblint · Aug 18, 2023 · 67dcdfd · 67dcdfd
1 parent b9de7cb
commit 67dcdfd
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py
@@ -53,6 +53,7 @@
 
     src_modules.add(module_name)
 
-if len(src_modules) > 0:
-    print(f"Modules missing from {goblint_lib_path}: {src_modules - goblint_lib_modules}")
+missing_modules = src_modules - goblint_lib_modules
+if len(missing_modules) > 0:
+    print(f"Modules missing from {goblint_lib_path}: {missing_modules}")
     sys.exit(1)