diff --git a/radio/util/build-firmware.py b/radio/util/build-firmware.py index d73d1d67e..86d5bf64b 100755 --- a/radio/util/build-firmware.py +++ b/radio/util/build-firmware.py @@ -202,6 +202,7 @@ def build_firmware(path): file(outpath, "a").write("\n".join(cmd) + output + error) else: file(errpath, "w").write(output + error) + print filename exit(COMPILATION_ERROR) # Launch make @@ -212,6 +213,7 @@ def build_firmware(path): file(outpath, "a").write(output + error) else: file(errpath, "w").write(output + error) + print filename exit(COMPILATION_ERROR) if what == "firmware": @@ -228,6 +230,7 @@ def build_firmware(path): shutil.move(target, path) if os.path.isfile(errpath): + print filename exit(COMPILATION_ERROR) lockpath = path + ".lock" @@ -236,7 +239,11 @@ try: with lock.acquire(timeout = 60*60): if not os.path.isfile(path): build_firmware(path) + else: + print filename + exit(0) except filelock.Timeout: + print filename exit(COMPILATION_ERROR) print filename