Rename grub-build to image-build

Signed-off-by: Stefano Stabellini <sstabellini@kernel.org>

diff --git a/build.sh b/build.sh
index d24e104ca96cfeef73a7bd418c328976a5fd555f..7d87be1b9664cc5ae472da4cd9c3738848a92cfb 100644 (file)
--- a/build.sh
+++ b/build.sh
@@ -4,7 +4,7 @@ HOME_DIR=`pwd`
 OUT_DIR=$HOME_DIR/out
 BUILDER_LABEL="xenbuilder"
 DOM0_LABEL="dom0"
-GRUB_BUILD_LABEL="grub-build"
+IMAGE_BUILD_LABEL="image-build"
 
 # Create build container
 exists=`docker images $BUILDER_LABEL | grep $BUILDER_LABEL`
@@ -38,16 +38,16 @@ then
     docker kill $container_id
 fi
 
-exists=`docker images $GRUB_BUILD_LABEL | grep $GRUB_BUILD_LABEL`
+exists=`docker images $IMAGE_BUILD_LABEL | grep $IMAGE_BUILD_LABEL`
 if test -z "$exists"
 then
-    docker build -f mkimage/Dockerfile -t $GRUB_BUILD_LABEL ./mkimage
+    docker build -f mkimage/Dockerfile -t $IMAGE_BUILD_LABEL ./mkimage
 fi
 
 # Create system image
 if ! test -f image
 then
-    docker run --privileged -i $GRUB_BUILD_LABEL /make-efi > image
+    docker run --privileged -i $IMAGE_BUILD_LABEL /make-efi > image
 fi