diff options
| author | Elan Ruusamäe | 2021-08-29 13:09:20 (GMT) |
|---|---|---|
| committer | Elan Ruusamäe | 2021-08-29 13:09:20 (GMT) |
| commit | 6ecf9aecbdaa6659220d62bf52a6b889588299d2 (patch) | |
| tree | 0eafe486740750353b773f0a13421e79a6de01d0 | |
| parent | 98e025574135e6eab94939c11c6842d38984bb3d (diff) | |
| download | cleanbuild-6ecf9aecbdaa6659220d62bf52a6b889588299d2.zip cleanbuild-6ecf9aecbdaa6659220d62bf52a6b889588299d2.tar.gz | |
Handle ctrl+c for build process
| -rwxr-xr-x | bin/cleanbuild-docker.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/cleanbuild-docker.sh b/bin/cleanbuild-docker.sh index f559e17..35fd773 100755 --- a/bin/cleanbuild-docker.sh +++ b/bin/cleanbuild-docker.sh @@ -129,6 +129,11 @@ package_build() { notice "Build package" docker exec $name cleanbuild/bin/teeboth $buildlog builder -bb --define '__spec_clean_body %{nil}' "$@" && rc=$? || rc=$? + # Kill processes on Ctrl+C + if [ "$rc" = 255 ]; then + docker exec $name pkill -e -u builder + die "Aborted" $rc + fi findbr=$PACKAGE_NAME.findbr.log builddir=$(docker exec $name sh -c 'test ! -d rpm/BUILD/* || echo rpm/BUILD/*') |