Re: [Minios-devel] [PATCH v2] mini-os: enable compiler check for printk format types

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

On Wed, 2015-06-17 at 11:08 +0100, Thomas Leonard wrote:
> Signed-off-by: Thomas Leonard <talex5@xxxxxxxxx>

Acked + applied, sorry for the delay.

My just-written pre-push test script is below. I've tried to enable
everything to get best coverage, if you have other tips please let me
know.

I don't think arm is currently expected to build and arm64 doesn't yet
exist, is that right?

Ian.


#!/bin/bash
# amd64 (cosworth minios.git):
#   ~/committer-minios.sh
# i386 (cosworth minios.git):
#   schroot -- ~/committer-minios.sh
# arm32 (TBD TBD):
#   TBD
# arm64 (TBD TBD):
#   TBD

export PATH=/usr/lib/ccache:/usr/local/bin:/usr/bin:/bin # $PATH

case $(hostname) in
    zakaz)
        J_FLAG=-j3
        ;;
    *)
        J_FLAG=-j12
        ;;
esac

ARCH=$(uname -m)

(
    set -ex
    git clean -q -f -dx
    
    cat >Config.committer <<EOF
#!/bin/bash
CONFIG_START_NETWORK ?= y
CONFIG_SPARSE_BSS ?= y
CONFIG_QEMU_XS_ARGS ?= y
CONFIG_TEST ?= y
CONFIG_PCIFRONT ?= y
CONFIG_BLKFRONT ?= y
CONFIG_TPMFRONT ?= y
CONFIG_TPM_TIS ?= y
CONFIG_TPMBACK ?= y
CONFIG_NETFRONT ?= y
CONFIG_FBFRONT ?= y
CONFIG_KBDFRONT ?= y
CONFIG_CONSFRONT ?= y
CONFIG_XENBUS ?= y
CONFIG_XC ?=y
#CONFIG_LWIP ?= \$(lwip)
include Config.mk
EOF

    make $J_FLAG MINIOS_CONFIG=Config.committer

) 2>&1 | tee ../MINIOS.${ARCH}.LOG



_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel