diff options
| author |   Alexey Neyman <stilor@att.net> | 2016-12-19 19:49:09 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2016-12-19 19:49:09 (GMT) |
| commit | 221461b22f75b7c9f52c033f09ee468375fd898a (patch) | |
| tree | 47a95abf1ecfbd46a3ba01815b9126c06cd0a5d8 /scripts | |
| parent | cccb8d84817bca1cf1d33cfdb5932f361437c229 (diff) | |
| parent | b30e779d8e6ee929c133d07f2da7b7661436ad89 (diff) | |
Merge pull request #511 from stilor/make-error-catch
Catch more make errors.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/functions | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/functions b/scripts/functions index 5337962..f687504 100644 --- a/scripts/functions +++ b/scripts/functions @@ -193,7 +193,7 @@ CT_DoLog() { y,*"warning:"*) cur_L=WARN; cur_l=${CT_LOG_LEVEL_WARN};; y,*"WARNING:"*) cur_L=WARN; cur_l=${CT_LOG_LEVEL_WARN};; *"error:"*) cur_L=ERROR; cur_l=${CT_LOG_LEVEL_ERROR};; - *"make["*"]: *** ["*) cur_L=ERROR; cur_l=${CT_LOG_LEVEL_ERROR};; + *"make["*"]: ***"*) cur_L=ERROR; cur_l=${CT_LOG_LEVEL_ERROR};; *) cur_L="${LEVEL}"; cur_l="${level}";; esac # There will always be a log file (stdout, fd #1), be it /dev/null |