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

[Thomas Leonard <talex5@xxxxxxxxx>]

On 25 June 2015 at 12:08, Ian Campbell <ian.campbell@xxxxxxxxxx> wrote:
> 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.

Thanks!

> 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.

Would you accept a patch adding Travis tests? On my master branch, I
use this config to test every commit pushed to GitHub automatically:

  https://github.com/talex5/mini-os/blob/master/.travis.yml

Currently, it tests a minimal configuration that is useful for Mirage,
but of course any number of combinations could be added. I see I've
also added a test for cross-compiling to arm32, but it's commented out
(I forget why; probably Travis hadn't whitelisted the cross-compiler
package at the time).

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

Correct. I'll send the arm32 patches next.

> 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
>
>



-- 
Dr Thomas Leonard        http://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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