Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

whatsupnix: s/broken/failed_drvs/

Browse Source
This commit is contained in:
tv 2017-06-18 12:33:46 +02:00
parent 9f2b087650
commit 0f1ba8dfd4
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
krebs/5pkgs/simple/whatsupnix/whatsupnix.bash
View File

@ -20,14 +20,14 @@
GAWK=${GAWK:-gawk} GAWK=${GAWK:-gawk}
NIX_STORE=${NIX_STORE:-nix-store} NIX_STORE=${NIX_STORE:-nix-store}
broken=$(mktemp) failed_drvs=$(mktemp --tmpdir whatsupnix.XXXXXXXX)
trap 'rm -f -- "$broken"' EXIT trap 'rm -f -- "$failed_drvs"' EXIT
exec >&2 exec >&2
$GAWK -v broken="$broken" ' $GAWK -v failed_drvs="$failed_drvs" '
match($0, /^builder for ‘(\/nix\/store\/[^’]+\.drv)’ failed/, m) { match($0, /^builder for ‘(\/nix\/store\/[^’]+\.drv)’ failed/, m) {
print m[1] >> broken print m[1] >> failed_drvs
} }
{ print $0 } { print $0 }
' '
@ -74,9 +74,9 @@ while read -r drv; do
print_log "$drv" print_log "$drv"
echo echo
done < "$broken" done < "$failed_drvs"
if test -s "$broken"; then if test -s "$failed_drvs"; then
exit 2 exit 2
else else
exit 0 exit 0