diff options
| -rwxr-xr-x | scripts/check-near-bragg | 4 | ||||
| -rwxr-xr-x | scripts/check-peak-detection | 4 |
2 files changed, 0 insertions, 8 deletions
diff --git a/scripts/check-near-bragg b/scripts/check-near-bragg index 17141fc4..5ebae9b1 100755 --- a/scripts/check-near-bragg +++ b/scripts/check-near-bragg @@ -47,8 +47,4 @@ while ( $line = <FH> ) { } - if ( !$handled ) { - printf(STDERR "Unhandled: '%s'\n", $line); - } - } diff --git a/scripts/check-peak-detection b/scripts/check-peak-detection index 16fe53d3..42f1d72f 100755 --- a/scripts/check-peak-detection +++ b/scripts/check-peak-detection @@ -47,8 +47,4 @@ while ( $line = <FH> ) { } - if ( !$handled ) { - printf(STDERR "Unhandled: '%s'\n", $line); - } - } |