]> gitweb.factorcode.org Git - factor.git/commitdiff
Tweak hello-world deploy descriptor to reduce sizse
authorslava <slava@slava-laptop.(none)>
Mon, 24 Nov 2008 22:02:07 +0000 (16:02 -0600)
committerslava <slava@slava-laptop.(none)>
Mon, 24 Nov 2008 22:02:07 +0000 (16:02 -0600)
extra/hello-world/deploy.factor

index 219fe0ca05d583ac1d1d06615f208c8eb183a40d..62b7c2f180cb48a6ca56ce77b337cf5d87246950 100755 (executable)
@@ -1,14 +1,15 @@
 USING: tools.deploy.config ;
 H{
-    { deploy-c-types? f }
-    { deploy-name "Hello world (console)" }
     { deploy-threads? f }
+    { deploy-name "Hello world (console)" }
+    { deploy-word-defs? f }
     { deploy-word-props? f }
-    { deploy-reflection 2 }
-    { deploy-io 2 }
-    { deploy-math? f }
     { deploy-ui? f }
     { deploy-compiler? f }
+    { deploy-io 2 }
+    { deploy-math? f }
+    { deploy-reflection 1 }
+    { deploy-unicode? f }
     { "stop-after-last-window?" t }
-    { deploy-word-defs? f }
+    { deploy-c-types? f }
 }