Fix missing build status fname

signetlabdei · Jan 30, 2023 · 101eb56 · 101eb56
1 parent a48b366
commit 101eb56
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,4 +1,4 @@
-[submodule "examples/sem-ns-3-dev"]
-	path = examples/sem-ns-3-dev
+[submodule "examples/ns-3"]
+	path = examples/ns-3
 	url = https://github.com/signetlabdei/sem-ns-3-dev.git
 	branch = sem-examples
diff --git a/examples/sem-ns-3-dev → examples/ns-3 b/examples/sem-ns-3-dev → examples/ns-3
diff --git a/sem/runner.py b/sem/runner.py
@@ -72,6 +72,7 @@ def __init__(self, path, script, optimized=True, skip_configuration=False,
             build_status_fname = ".lock-ns3_%s_build" % sys.platform
             build_status_path = os.path.join(path, build_status_fname)
         else:
+            build_status_fname = "build-status.py"
             if optimized:
                 build_status_path = os.path.join(path,
                                                 'build/optimized/build-status.py')