if --file and the --cache refer to the same file, don't use caching

This commit is contained in:
John Wiegley 2004-09-20 06:18:24 -04:00
parent 2010be07f0
commit e59ba74814

View file

@ -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,