diff options
author | Arun Isaac | 2024-10-11 01:33:20 +0100 |
---|---|---|
committer | Arun Isaac | 2024-10-11 01:33:20 +0100 |
commit | e43a3c6f1725d6b209af7d19031c39ad4484bc4f (patch) | |
tree | f6212340e2e6c33f6ead7142a1da34267581bcf4 | |
parent | 1c58262843fdf58520945bf531401de775a44a8b (diff) | |
download | ravanan-e43a3c6f1725d6b209af7d19031c39ad4484bc4f.tar.gz ravanan-e43a3c6f1725d6b209af7d19031c39ad4484bc4f.tar.lz ravanan-e43a3c6f1725d6b209af7d19031c39ad4484bc4f.zip |
workflow: Report file interning.
* ravanan/workflow.scm (intern-file): Report file interning.
-rw-r--r-- | ravanan/workflow.scm | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/ravanan/workflow.scm b/ravanan/workflow.scm index 9877876..d263b4b 100644 --- a/ravanan/workflow.scm +++ b/ravanan/workflow.scm @@ -470,8 +470,15 @@ interned path and location." "-" (basename path))) store))) - (unless (file-exists? interned-path) - (copy-file path interned-path)) + (if (file-exists? interned-path) + (format (current-error-port) + "~a previously interned into store as ~a~%" + path interned-path) + (begin + (format (current-error-port) + "Interning ~a into store as ~a~%" + path interned-path) + (copy-file path interned-path))) interned-path)))) (maybe-assoc-set file (cons "location" (just (string-append "file://" interned-path))) |