X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=build.sh;h=712c7cdfb0936028093782442eb5437695d3b1da;hb=af4cf1475b4ddbff4659c6527c6dfd4a4f7649ef;hp=ecc3ea283158f507cee92d2dde97c7f78b6b95bd;hpb=a302d9b7f598d9e964a3d3c2297454dcdcd25a11;p=myplc.git diff --git a/build.sh b/build.sh index ecc3ea2..712c7cd 100755 --- a/build.sh +++ b/build.sh @@ -15,66 +15,11 @@ # Mark Huang # Copyright (C) 2006 The Trustees of Princeton University # -# $Id$ +# $Id: build.sh,v 1.38 2007/01/20 04:06:02 mlhuang Exp $ # . build.functions -# -# Build myplc inside myplc-devel. Infinite recursion is avoided only -# if PLC_DEVEL_BOOTSTRAP is false in the default configuration file. -# - -if [ "$PLC_DEVEL_BOOTSTRAP" = "true" ] ; then - # So that we don't pollute the actual myplc-devel image, we use - # the directory that was used to build the image instead of the - # image itself, and mount everything by hand. - mount -o bind,rw devel/data devel/root/data - mount -t proc none devel/root/proc - - # If we used a local mirror, bind mount it into the chroot so that - # we can use it again. - if [ "${PLC_DEVEL_FEDORA_URL:0:7}" = "file://" ] ; then - mkdir -p devel/root/data/fedora - mount -o bind,ro ${PLC_DEVEL_FEDORA_URL#file://} devel/root/data/fedora - fi - - # Clean up before exiting if anything goes wrong - trap "umount $PWD/devel/root/data/fedora; - umount $PWD/devel/root/data; - umount $PWD/devel/root/proc" ERR INT - - # Build myplc inside myplc-devel. Make sure PLC_DEVEL_BOOTSTRAP is - # false to avoid infinite recursion. - chroot devel/root su - <