disable caching if "-k" (save-temps) option is given

2 files changed, 6 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 0795369b..875ef31d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2008-07-10  Frank Ch. Eigler  <fche@elastic.org>
 
+	* main.cxx (main): If "-k" (save temp directory) was supplied, 
+	disable caching.
+
+2008-07-10  Frank Ch. Eigler  <fche@elastic.org>
+
 	PR 6703.
 	* tapsets.cxx (mark_dwarf_redundancies): Tweak hashtable/iterator
 	syntax for gcc 4.1 compatibility.
diff --git a/main.cxx b/main.cxx
index edb72768..05a137b7 100644
--- a/main.cxx
+++ b/main.cxx
@@ -524,6 +524,7 @@ main (int argc, char * const argv [])
 
         case 'k':
           s.keep_tmpdir = true;
+          s.use_cache = false; /* User wants to keep a usable build tree. */
           break;
 
         case 'g':