From 101eb5692c786ea2ce3065a09363c06f8e8e3e82 Mon Sep 17 00:00:00 2001 From: pagmatt Date: Mon, 30 Jan 2023 10:30:07 +0100 Subject: [PATCH] Fix missing build status fname --- .gitmodules | 4 ++-- examples/{sem-ns-3-dev => ns-3} | 0 sem/runner.py | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) rename examples/{sem-ns-3-dev => ns-3} (100%) diff --git a/.gitmodules b/.gitmodules index 79f73435..fa9139e1 100644 --- 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 b/examples/ns-3 similarity index 100% rename from examples/sem-ns-3-dev rename to examples/ns-3 diff --git a/sem/runner.py b/sem/runner.py index 2aae6d9a..651e1302 100644 --- 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')