diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-16 11:22:15 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-16 11:22:15 +0000 |
commit | f90f4280c02f9f2228808934ec65758a6004c044 (patch) | |
tree | 674a841a787c762882672f2d750833f99ccb5344 /Build/source/README.config | |
parent | 24c37e32d4c16fe3ef9b4292aa997e41f4666729 (diff) |
update build system
git-svn-id: svn://tug.org/texlive/trunk@13771 c570f23f-e606-0410-a88d-b1316a301751
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 ========================================= |