summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de>2016-03-07 16:06:41 +0000
committerLucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de>2016-03-07 16:06:41 +0000
commit5bb93bbf94e724abf1c099579b8702e6f97caf83 (patch)
treee2972ff3f11183572201b662a7b4a6e46840e186
parent963869d76b383c1ad94fadfd12942eda44d80856 (diff)
downloadmidipix_build-5bb93bbf94e724abf1c099579b8702e6f97caf83.tar.bz2
midipix_build-5bb93bbf94e724abf1c099579b8702e6f97caf83.tar.xz
Abort build when $BUILD_STATUS_IN_PROGRESS_FNAME exists.
-rw-r--r--build.subr8
1 files changed, 6 insertions, 2 deletions
diff --git a/build.subr b/build.subr
index d4b00e1a..2308a9f7 100644
--- a/build.subr
+++ b/build.subr
@@ -306,8 +306,12 @@ update_build_status() {
while [ ${#} -gt 0 ]; do
case ${1} in
build_start)
- touch ${BUILD_STATUS_IN_PROGRESS_FNAME};
- touch ${BUILD_STATUS_PROGRESS_FNAME:=${PREFIX}/BUILD_STARTED_AT_${BUILD_DATE_START:=$(date %Y-%m-%d-%H-%M-%S)}};
+ if [ -f ${BUILD_STATUS_IN_PROGRESS_FNAME} ]; then
+ log_msg failexit "Error: build already in progress.";
+ else
+ touch ${BUILD_STATUS_IN_PROGRESS_FNAME};
+ touch ${BUILD_STATUS_PROGRESS_FNAME:=${PREFIX}/BUILD_STARTED_AT_${BUILD_DATE_START:=$(date %Y-%m-%d-%H-%M-%S)}};
+ fi;
;;
build_finish)
if [ -f ${BUILD_STATUS_PROGRESS_FNAME} ]; then