diff options
Diffstat (limited to 'Build/source/README.config')
| -rw-r--r-- | Build/source/README.config | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/README.config b/Build/source/README.config index 330ad3cb245..1811bdd7629 100644 --- a/Build/source/README.config +++ b/Build/source/README.config @@ -80,6 +80,11 @@ compiler warnings should help to resolve portability problems. At the moment these warning flags are only defined for the GNU compilers gcc and g++, but flags for other compilers could be added when needed. +1.8. --disable-missing +---------------------- +Immediately terminate the build process if a requested program or feature +must be disabled, e.g., due to missing libraries. + 2. Configure options for program packages ========================================= |