From 3d97e4c82e40584b6f7a13e1c4f2accdebcd3931 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Mon, 23 Mar 2009 19:00:23 -0500
Subject: [PATCH] delete factor/ every time after a build is finished.  you can
 easily check it out by knowing the git-id

---
 extra/mason/build/build.factor | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/extra/mason/build/build.factor b/extra/mason/build/build.factor
index 706dc12616..90ca1d31ff 100644
--- a/extra/mason/build/build.factor
+++ b/extra/mason/build/build.factor
@@ -5,6 +5,8 @@ io.files io.launcher mason.child mason.cleanup mason.common
 mason.help mason.release mason.report namespaces prettyprint ;
 IN: mason.build
 
+QUALIFIED: continuations
+
 : create-build-dir ( -- )
     now datestamp stamp set
     build-dir make-directory ;
@@ -21,10 +23,11 @@ IN: mason.build
     create-build-dir
     enter-build-dir
     clone-builds-factor
-    record-id
-    build-child
-    upload-help
-    release
-    cleanup ;
+    [
+        record-id
+        build-child
+        upload-help
+        release
+    ] [ cleanup ] [ ] continuations:cleanup ;
 
-MAIN: build
\ No newline at end of file
+MAIN: build