tools.deploy: hello-ui had reflection level of 2, not 1 unnecessarily; tools.deploy.backend now passes -pic=0 to avoid saving PICs in the deployed image
parent
066d2836ca
commit
cf8e03ad39
|
@ -71,6 +71,7 @@ DEFER: ?make-staging-image
|
|||
"-output-image=" over staging-image-name append ,
|
||||
"-include=" swap " " join append ,
|
||||
"-no-user-init" ,
|
||||
"-pic=0" ,
|
||||
] { } make ;
|
||||
|
||||
: run-factor ( vm flags -- )
|
||||
|
@ -99,6 +100,7 @@ DEFER: ?make-staging-image
|
|||
[ "-deploy-vocab=" prepend , ]
|
||||
[ make-deploy-config "-deploy-config=" prepend , ] bi
|
||||
"-output-image=" prepend ,
|
||||
"-pic=0" ,
|
||||
] { } make
|
||||
] bind ;
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@ H{
|
|||
{ deploy-unicode? f }
|
||||
{ "stop-after-last-window?" t }
|
||||
{ deploy-io 1 }
|
||||
{ deploy-reflection 2 }
|
||||
{ deploy-reflection 1 }
|
||||
{ deploy-word-props? f }
|
||||
{ deploy-math? t }
|
||||
{ deploy-threads? t }
|
||||
|
|
Loading…
Reference in New Issue