Rename ".stamp" file to "status"

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

diff --git a/sbysrc/sby.py b/sbysrc/sby.py
index 13d1cd1a193dbbb02da9d7c027dd4ab42fb56b52..e654e67cb6ce64fd3f19497c28c9e7e9b2f15a85 100644 (file)
--- 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