From 89bfd6dcf4e12917336807df31bc80bd9ef0f46b Mon Sep 17 00:00:00 2001 From: 3djc Date: Thu, 30 Mar 2017 08:43:50 +0200 Subject: [PATCH] Earlier is better --- radio/util/build-firmware.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/radio/util/build-firmware.py b/radio/util/build-firmware.py index 86d5bf64b..da3da657c 100755 --- a/radio/util/build-firmware.py +++ b/radio/util/build-firmware.py @@ -233,15 +233,16 @@ if os.path.isfile(errpath): print filename exit(COMPILATION_ERROR) +if os.path.isfile(path): + print filename + exit(0) + lockpath = path + ".lock" lock = filelock.FileLock(lockpath) 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)