From df35ed828119380f7f4fcfbfcc2ebe93ab095786 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 22 Feb 2015 17:01:07 -0800 Subject: [PATCH] exclude cache file from cloning --- file.rkt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/file.rkt b/file.rkt index 7022133..5478f0a 100644 --- a/file.rkt +++ b/file.rkt @@ -127,6 +127,9 @@ (and (directory-exists? path) (or (ends-with? (path->string path) "compiled")))) +(define+provide (cache-file? path) + (or (ends-with? (path->string path) world:cache-filename))) + (define+provide (pollen-related-file? file) (ormap (λ(proc) (proc file)) (list @@ -138,4 +141,5 @@ scribble-source? null-source? racket-source? - magic-directory?))) \ No newline at end of file + magic-directory? + cache-file?))) \ No newline at end of file