diff options
| author | tv <tv@krebsco.de> | 2017-06-30 04:53:34 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-06-30 04:55:39 +0200 |
| commit | dbe4cc21e33ccc22b9dd352dd8c6913d60a0cbc0 (patch) | |
| tree | 8374d7531f67ef0aaa7d4ec0b5a1321ea83808bb /krebs/5pkgs | |
| parent | 74522bba94a3a62dcaed15c6ab9ff4e064a654ab (diff) | |
pkgs.whatsupnix: print gawk output ASAP
Diffstat (limited to 'krebs/5pkgs')
| -rw-r--r-- | krebs/5pkgs/simple/whatsupnix/whatsupnix.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/5pkgs/simple/whatsupnix/whatsupnix.bash b/krebs/5pkgs/simple/whatsupnix/whatsupnix.bash index 127209570..2ad9aadc9 100644 --- a/krebs/5pkgs/simple/whatsupnix/whatsupnix.bash +++ b/krebs/5pkgs/simple/whatsupnix/whatsupnix.bash @@ -26,7 +26,7 @@ gawk -v failed_drvs="$failed_drvs" ' match($0, /^builder for ‘(\/nix\/store\/[^’]+\.drv)’ failed/, m) { print m[1] >> failed_drvs } - { print $0 } + { print $0; fflush("/dev/stdout") } ' case $# in |