]> gitweb.factorcode.org Git - factor.git/commitdiff
delete factor/ every time after a build is finished. you can easily check it out...
authorDoug Coleman <doug.coleman@gmail.com>
Tue, 24 Mar 2009 00:00:23 +0000 (19:00 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Tue, 24 Mar 2009 00:00:23 +0000 (19:00 -0500)
extra/mason/build/build.factor

index 706dc126161d276dfff17a488a025319e2cad0e5..90ca1d31ff3938c4b23526b8351b1d68d9f8ec8f 100644 (file)
@@ -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