From e59ba748140d9abb5bfab124b5e9037cdae2ec4b Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Mon, 20 Sep 2004 06:18:24 -0400
Subject: if --file and the --cache refer to the same file, don't use caching

---
 main.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/main.cc b/main.cc
index db1eacd4..10e57f2a 100644
--- a/main.cc
+++ b/main.cc
@@ -188,6 +188,9 @@ int parse_and_report(int argc, char * argv[], char * envp[])
     process_option(config_options, "price-exp", p);
 #endif
 
+  if (config.data_file == config.cache_file)
+    config.use_cache = false;
+
   TIMER_STOP(process_opts);
 
   // Read the command word, canonicalize it to its one letter form,
-- 
cgit v1.2.3