From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 15 Mar 2019 15:29:11 +0000 (+0100)
Subject: Rename ".stamp" file to "status"
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=410db87ebcc0f811c93175802e2ed997bfdfabca;p=SymbiYosys.git

Rename ".stamp" file to "status"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/sbysrc/sby.py b/sbysrc/sby.py
index 13d1cd1..e654e67 100644
--- a/sbysrc/sby.py
+++ b/sbysrc/sby.py
@@ -374,7 +374,7 @@ def run_job(taskname):
                 for line in logf:
                     print(line.replace("&", "&amp;").replace("<", "&lt;").replace(">", "&gt;").replace("\"", "&quot;"), end="", file=f)
             print('</system-out></testcase></testsuite></testsuites>', file=f)
-        with open("%s/.stamp" % (job.workdir), "w") as f:
+        with open("%s/status" % (job.workdir), "w") as f:
             print("%s %d %d" % (job.status, job.retcode, job.total_time), file=f)
 
     return job.retcode