Anthony PERARD writes ("Re: [PATCH v2] scripts: introduce a script for build
test"):
> That feels wrong. How do I run the same exact command at the default
> one, but with -j8 instead of -j4?
.../build-test sh -ec make -j4 distclean && ./configure && make -j4
But I think Anthony has a point. The clean should 1. be git-clean,
not make distclean 2. be run anyway.
> > +echo "Restoring original HEAD"
> > +git checkout $ORIG_BRANCH
>
> Also, what a developper should do when the build fail? She can't modify
> the current code, because changes are going to be losts. Maybe we could
> trap failures, restore original HEAD and point out which commit fails to
> build.
IWBNI it would at least print the branch to checkout. Tools like "git
bisect" record the information in .git and allow "git bisect reset".
Ian.
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
