diff options
Diffstat (limited to 'scripts/Configure')
| -rw-r--r-- | scripts/Configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/Configure b/scripts/Configure index f931c4cbfd04..58375f239bbc 100644 --- a/scripts/Configure +++ b/scripts/Configure @@ -92,6 +92,7 @@ ${var}:\\ /^#/b /^[^ ]/q + /<file:\\([^>]*\\)>/s//\\1/g p }" Documentation/Configure.help) if [ -z "$text" ] |