Avoid joining with '' when coqpath is empty (#241)

JasonGross · Dec 8, 2024 · 964175f · 964175f
1 parent 6f29d5f
commit 964175f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/coq_tools/find_bug.py b/coq_tools/find_bug.py
@@ -2241,7 +2241,8 @@ def make_make_coqc(coqc_prog, **kwargs):
                 )
                 coq_theories_path = os.path.join(coq_lib_path, "theories")
                 coq_user_contrib_path = os.path.join(os.path.join(coq_lib_path, "user-contrib"), "Stdlib")
-                coqpath_paths = os.environ.get('COQPATH', '').split(os.pathsep)
+                coqpath_path = os.environ.get('COQPATH', '')
+                coqpath_paths = coqpath_path.split(os.pathsep) if coqpath_path else []
                 if args.inline_coqlib:
                     env[passing_prefix + "libnames"] = tuple(
                         list(env[passing_prefix + "libnames"]) + [(coq_theories_path, "Coq")]