commit 4404f0bab2b7faf1a9d69e70e57e2e41c4def4d7
Author: Richard Kimberly Heck <[email protected]>
Date: Sun Dec 30 14:02:34 2018 -0500
Fix problem reported on the mailing list.
Somehow this got lost. Fix found by Jürgen.
---
src/Buffer.cpp | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 6343405..e248348 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;