diff options
author | planetmaker <planetmaker@openttd.org> | 2013-04-26 18:39:15 +0000 |
---|---|---|
committer | planetmaker <planetmaker@openttd.org> | 2013-04-26 18:39:15 +0000 |
commit | 7609dc7fdff563c99b525f2509af804b5e41f368 (patch) | |
tree | 9125b1ac3cdcb68053e07803f70458d6d5640e63 /config.lib | |
parent | f383011f974405d2fea96ef2808d77cebd7253a7 (diff) | |
download | openttd-7609dc7fdff563c99b525f2509af804b5e41f368.tar.xz |
(svn r25209) -Doc: Mention --without-grfcodec in the help for configure and explain its use in the readme
Diffstat (limited to 'config.lib')
-rw-r--r-- | config.lib | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.lib b/config.lib index a10fe8192..aeb480aa3 100644 --- a/config.lib +++ b/config.lib @@ -3644,6 +3644,7 @@ showhelp() { echo " --with-makedepend[=makedepend] enables makedepend support" echo " --with-ccache enables ccache support" echo " --with-distcc enables distcc support" + echo " --without-grfcodec disable usage of grfcodec and re-generation of base sets" echo "" echo "Some influential environment variables:" echo " CC C compiler command" |