(svn r25209) -Doc: Mention --without-grfcodec in the help for configure and explain its use in the readme

This commit is contained in:
planetmaker
2013-04-26 18:39:15 +00:00
parent f383011f97
commit 7609dc7fdf
2 changed files with 18 additions and 7 deletions

View File

@@ -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"