diff options
author | Lars Wirzenius <liw@liw.fi> | 2015-01-12 19:56:58 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2015-01-12 19:56:58 +0200 |
commit | 584075fec3c7b4910d89e3ebb057d0d750d1808a (patch) | |
tree | 3d51c50f436e3696696c49229172521d7db679ef /skip-not-implemented | |
parent | bf110edbf9ddd83aa79a0faae0a97a0aa639bf15 (diff) | |
download | obnam-584075fec3c7b4910d89e3ebb057d0d750d1808a.tar.gz |
Filter out NotImplementedError stack traces from ./check -u
Diffstat (limited to 'skip-not-implemented')
-rwxr-xr-x | skip-not-implemented | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/skip-not-implemented b/skip-not-implemented new file mode 100755 index 00000000..15fbb7be --- /dev/null +++ b/skip-not-implemented @@ -0,0 +1,7 @@ +#!/usr/bin/awk -f + +BEGIN { para = "" } +{ para = para $0 "\n" } +/^NotImplemented/ { para = ""; next } +NF == 0 { if (para != "") print para; para = ""; next } +END { if (para != "") print para } |