diff options
Diffstat (limited to 'config_help.txt')
-rw-r--r-- | config_help.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config_help.txt b/config_help.txt index fff7021aa8..76c0c60348 100644 --- a/config_help.txt +++ b/config_help.txt @@ -58,6 +58,9 @@ Configure meta: -redo ................ Re-configure with previously used options. Additional options may be passed, but will not be saved for later use by -redo. + -recheck ............. Discard cached negative configure test results. + Use this after installing missing dependencies. + -recheck-all ......... Discard all cached configure test results. Build options: |