X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=build.sh;h=d5d2a5773f2f91b644a0d8dfb387c6e41ac914ba;hb=c79162bdd04bad550646104a4e88bfae45ca30b2;hp=545d040bdc96a2a90f1bb33f3d489abc9dc1cb60;hpb=c751f72dce8c22f8b360508252d5328597dc5054;p=myplc.git diff --git a/build.sh b/build.sh index 545d040..d5d2a57 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.40 2007/01/30 16:03:20 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 - <