From 84d0dedd86e0f7e225c62723234b80b8a34e46ec Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Mon, 15 Feb 2010 19:01:19 +1300 Subject: [PATCH] mason.source: save git-id in source packages, just like binary packages --- extra/mason/source/source.factor | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/extra/mason/source/source.factor b/extra/mason/source/source.factor index 3a3d6a66b7..72c63660e3 100644 --- a/extra/mason/source/source.factor +++ b/extra/mason/source/source.factor @@ -8,11 +8,17 @@ IN: mason.source : clone-factor ( -- ) { "git" "clone" } home "factor" append-path suffix try-process ; +: save-git-id ( -- ) + git-id "git-id" to-file ; + +: delete-git-tree ( -- ) + ".git" delete-tree ; + +: download-images ( -- ) + images [ download-image ] each ; + : prepare-source ( -- ) - "factor" [ - ".git" delete-tree - images [ download-image ] each - ] with-directory ; + "factor" [ save-git-id delete-git-tree download-images ] with-directory ; : package-name ( version -- string ) "factor-src-" ".zip" surround ;