diff options
Diffstat (limited to 'lib/generate.source.sh')
| -rw-r--r-- | lib/generate.source.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/generate.source.sh b/lib/generate.source.sh index b2dafbc..f72f84b 100644 --- a/lib/generate.source.sh +++ b/lib/generate.source.sh @@ -124,6 +124,11 @@ generate::fromgmi () { # Add content while read -r src; do + # User can specify a content filter + if test ! -z "$CONTENT_FILTER" && ! $GREP -q "$CONTENT_FILTER" <<< "$src"; then + continue + fi + num_gmi_files=$(( num_gmi_files + 1 )) log INFO "Generating output formats from $src" for format in "$@"; do |