diff options
Diffstat (limited to '')
| -rw-r--r-- | auto/summary | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/auto/summary b/auto/summary index 5dacfc140..e0d8b2664 100644 --- a/auto/summary +++ b/auto/summary @@ -8,6 +8,7 @@ if [ $USE_PCRE = DISABLED ]; then else case $PCRE in YES) echo " + using system PCRE library" ;; + NONE) echo " + PCRE library is not used" ;; NO) echo " + PCRE library is not found" ;; *) echo " + using PCRE library: $PCRE" ;; esac |