tools.deploy.test.21: deploy without threads to reduce image size

db4
Slava Pestov 2011-02-27 13:55:15 -08:00
parent 779468f5a0
commit 25c60b6869
1 changed files with 1 additions and 1 deletions

View File

@ -10,6 +10,6 @@ H{
{ deploy-reflection 1 } { deploy-reflection 1 }
{ deploy-word-props? f } { deploy-word-props? f }
{ deploy-math? t } { deploy-math? t }
{ deploy-threads? t } { deploy-threads? f }
{ deploy-word-defs? f } { deploy-word-defs? f }
} }