diff options
| -rw-r--r-- | INSTALL.REPO | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.REPO b/INSTALL.REPO index ac991f7ee26..a5b60cf6cb1 100644 --- a/INSTALL.REPO +++ b/INSTALL.REPO @@ -54,7 +54,7 @@ If CPU time is not an issue, 'make bootstrap' is a more thorough way to rebuild, avoiding spurious problems. Occasionally, there are changes that 'make bootstrap' won't be able to -handle. The most thorough cleaning can be achieved by 'git clean -fx' +handle. The most thorough cleaning can be achieved by 'git clean -fdx' which will leave you with only files from the git repository. Here are some faster methods for a couple of particular error cases: |