From 4404f0bab2b7faf1a9d69e70e57e2e41c4def4d7 Mon Sep 17 00:00:00 2001 From: Richard Kimberly Heck Date: Sun, 30 Dec 2018 14:02:34 -0500 Subject: [PATCH] Fix problem reported on the mailing list. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Somehow this got lost. Fix found by Jürgen. --- src/Buffer.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/Buffer.cpp b/src/Buffer.cpp index 6343405b5c..e24834810b 100644 --- a/src/Buffer.cpp +++ b/src/Buffer.cpp @@ -2457,6 +2457,11 @@ void Buffer::checkIfBibInfoCacheIsValid() const return; } + // if we already know the cache is invalid, no need to check + // the timestamps + if (!d->bibinfo_cache_valid_) + return; + // we'll assume it's ok and change this if it's not d->bibinfo_cache_valid_ = true; d->cite_labels_valid_ = true;