diff --git a/collects/compiler/cm.rkt b/collects/compiler/cm.rkt index a14edcd918..1e0edcaaa9 100644 --- a/collects/compiler/cm.rkt +++ b/collects/compiler/cm.rkt @@ -180,7 +180,9 @@ (try-delete-file tmp-path)))))) (define (get-source-sha1 p) - (with-handlers ([exn:fail:filesystem? (lambda (exn) #f)]) + (with-handlers ([exn:fail:filesystem? (lambda (exn) + (and (regexp-match? #rx#"[.]rkt$" (path->bytes p)) + (get-source-sha1 (path-replace-suffix p #".ss"))))]) (call-with-input-file* p sha1))) (define (get-dep-sha1s deps up-to-date read-src-syntax mode must-exist?)