From 54f22e58a5ca79b24b8b4de9d940031e06843856 Mon Sep 17 00:00:00 2001 From: Shahram Najm Date: Fri, 5 Feb 2016 16:55:56 +0000 Subject: [PATCH] Fix the description of filter switch --- tools/bufr_filter.sh | 2 +- tools/grib_filter.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/bufr_filter.sh b/tools/bufr_filter.sh index 2b145669f..a0d7a9696 100755 --- a/tools/bufr_filter.sh +++ b/tools/bufr_filter.sh @@ -136,7 +136,7 @@ echo "}" echo "\\endverbatim\\n" echo "Each value of each key given as argument to the switch statement is matched against the values specified in the case statements.\\n" echo "If there is a match, then the block or rules corresponding to the matching case statement is executed.\\n" -echo "Otherwise, the default case is executed. The default case is mandatory, even if empty.\\n" +echo "Otherwise, the default case is executed. The default case is mandatory if the case statements do not cover all the possibilities.\\n" echo "The \"~\" operator can be used to match \"anything\".\\n\\n" diff --git a/tools/grib_filter.sh b/tools/grib_filter.sh index ad16c40d9..ec27badd9 100755 --- a/tools/grib_filter.sh +++ b/tools/grib_filter.sh @@ -116,7 +116,7 @@ echo "}" echo "\\endverbatim\\n" echo "Each value of each key given as argument to the switch statement is matched against the values specified in the case statements.\\n" echo "If there is a match, then the block or rules corresponding to the matching case statement is executed.\\n" -echo "Otherwise, the default case is executed. The default case is mandatory, even if empty.\\n" +echo "Otherwise, the default case is executed. The default case is mandatory if the case statements do not cover all the possibilities.\\n" echo "The \"~\" operator can be used to match \"anything\".\\n\\n" echo "Following is an example showing the use of the switch statement:\\n" echo "\\verbatim"