diff options
Diffstat (limited to 'plugins-scripts/t')
0 files changed, 0 insertions, 0 deletions
diff --git a/plugins-scripts/check_log.sh b/plugins-scripts/check_log.sh index 1ea70b5..c623a8d 100755 --- a/plugins-scripts/check_log.sh +++ b/plugins-scripts/check_log.sh | |||
@@ -153,18 +153,18 @@ done | |||
153 | 153 | ||
154 | # Parameter sanity check | 154 | # Parameter sanity check |
155 | if [ $ERE ] && [ $PRE ] ; then | 155 | if [ $ERE ] && [ $PRE ] ; then |
156 | echo "Can not use extended and perl regex at the same time" | 156 | echo "Can not use extended and perl regex at the same time" |
157 | exit "$STATE_UNKNOWN" | 157 | exit "$STATE_UNKNOWN" |
158 | fi | 158 | fi |
159 | 159 | ||
160 | GREP="grep" | 160 | GREP="grep" |
161 | 161 | ||
162 | if [ $ERE ]; then | 162 | if [ $ERE ]; then |
163 | GREP="grep -E" | 163 | GREP="grep -E" |
164 | fi | 164 | fi |
165 | 165 | ||
166 | if [ $PRE ]; then | 166 | if [ $PRE ]; then |
167 | GREP="grep -P" | 167 | GREP="grep -P" |
168 | fi | 168 | fi |
169 | 169 | ||
170 | # If the source log file doesn't exist, exit | 170 | # If the source log file doesn't exist, exit |