Fix tetris deployment

db4
Slava Pestov 2008-10-20 22:55:57 -05:00
parent 1df08ba8c8
commit 76cde4e005
1 changed files with 8 additions and 5 deletions

View File

@ -1,12 +1,15 @@
USING: tools.deploy.config ; USING: tools.deploy.config ;
V{ H{
{ deploy-ui? t } { deploy-ui? t }
{ deploy-io 1 }
{ deploy-reflection 1 }
{ deploy-compiler? t } { deploy-compiler? t }
{ deploy-math? t } { deploy-threads? t }
{ deploy-word-props? f } { deploy-word-props? f }
{ deploy-c-types? f } { deploy-reflection 1 }
{ "stop-after-last-window?" t } { "stop-after-last-window?" t }
{ deploy-random? t }
{ deploy-io 2 }
{ deploy-math? t }
{ deploy-word-defs? f }
{ deploy-c-types? f }
{ deploy-name "Tetris" } { deploy-name "Tetris" }
} }