diff options
Diffstat (limited to 'util/manibuilder/anita-wrapper.sh')
-rw-r--r-- | util/manibuilder/anita-wrapper.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/util/manibuilder/anita-wrapper.sh b/util/manibuilder/anita-wrapper.sh index 617e17f83..3ff9ee17b 100644 --- a/util/manibuilder/anita-wrapper.sh +++ b/util/manibuilder/anita-wrapper.sh @@ -9,9 +9,10 @@ CCACHE=.ccache/anita-${IDENT}.img [ -f ${CCACHE} ] || zcat cache.img.gz >${CCACHE} if [ $# -eq 0 ]; then - exec anita --vmm-args "-hdb ${CCACHE}" interact ${INST_IMG} + exec anita --vmm-args "-hdb ${CCACHE}" --memory-size=${MEM_SIZE} \ + interact ${INST_IMG} else - exec anita --vmm-args "-hdb ${CCACHE}" --persist \ - --run ". ./init && manitest \"$*\"" \ + exec anita --vmm-args "-hdb ${CCACHE}" --memory-size=${MEM_SIZE} \ + --persist --run ". ./init && manitest \"$*\"" \ boot ${INST_IMG} fi |