From f53a92f9cef379f881a4cc1f422e68b38fbb01d4 Mon Sep 17 00:00:00 2001
From: "Frank Ch. Eigler" <fche@elastic.org>
Date: Thu, 10 Jul 2008 23:25:31 -0400
Subject: disable caching if "-k" (save-temps) option is given

---
 ChangeLog | 5 +++++
 main.cxx  | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 0795369b..875ef31d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+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.
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':
-- 
cgit