summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2014-10-14 18:05:09 -0400
committerGravatar Ziv Scully <ziv@mit.edu>2014-10-14 18:05:09 -0400
commit75d1eedd15edc41b1c2bc9d1fce7a74f37bd78a1 (patch)
tree09a958bb9333b12cc118b14053cb9043e8a6463b /src/sources
parent8cf3a275f25ffcbb97d623c4e988fdcc81ef5978 (diff)
Complete overhaul: cache queries based on immediate query result, not eventual HTML output.
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sources b/src/sources
index 8860b310..518b7484 100644
--- a/src/sources
+++ b/src/sources
@@ -212,6 +212,8 @@ $(SRC)/multimap_fn.sml
$(SRC)/sqlcache.sig
$(SRC)/sqlcache.sml
+$(SRC)/mono_inline.sml
+
$(SRC)/cjr.sml
$(SRC)/postgres.sig