diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/stream_grep | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/stream_grep b/scripts/stream_grep index d02b6348..63c44218 100755 --- a/scripts/stream_grep +++ b/scripts/stream_grep @@ -88,7 +88,7 @@ if (defined $lt) { $tag_type = 1; $tag_value = $lt; $N_tag_types++; -} +} if (defined $le) { $tag_type = 2; $tag_value = $le; |