diff options
Diffstat (limited to 'util/manibuilder/anita-wrapper.sh')
-rw-r--r-- | util/manibuilder/anita-wrapper.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/util/manibuilder/anita-wrapper.sh b/util/manibuilder/anita-wrapper.sh new file mode 100644 index 000000000..3ff9ee17b --- /dev/null +++ b/util/manibuilder/anita-wrapper.sh @@ -0,0 +1,18 @@ +#!/bin/sh + +cd + +[ "${IDENT}" ] || IDENT=$(mktemp -u XXXXXXXX) + +CCACHE=.ccache/anita-${IDENT}.img + +[ -f ${CCACHE} ] || zcat cache.img.gz >${CCACHE} + +if [ $# -eq 0 ]; then + exec anita --vmm-args "-hdb ${CCACHE}" --memory-size=${MEM_SIZE} \ + interact ${INST_IMG} +else + exec anita --vmm-args "-hdb ${CCACHE}" --memory-size=${MEM_SIZE} \ + --persist --run ". ./init && manitest \"$*\"" \ + boot ${INST_IMG} +fi |