From 6d45440d7dcfc3d068bab06d35662774c940b00b Mon Sep 17 00:00:00 2001
From: Manolis Papadakis <manopapad@gmail.com>
Date: Mon, 24 Oct 2022 10:08:45 -0700
Subject: [PATCH] Fix naming of image for "generic" platforms

---
 make_image.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/make_image.sh b/make_image.sh
index d021bfe..59d0be7 100755
--- a/make_image.sh
+++ b/make_image.sh
@@ -81,7 +81,11 @@ git_pull https://github.com/nv-legate/legate.core.git legate.core HEAD
 git_pull https://github.com/nv-legate/cunumeric.git cunumeric HEAD
 
 # Build and push image
-IMAGE=legate-"$PLATFORM"-"$NETWORK"
+if [[ "$PLATFORM" == generic-* ]]; then
+    IMAGE=legate-"$PLATFORM"
+else
+    IMAGE=legate-"$PLATFORM"-"$NETWORK"
+fi
 DOCKER_BUILDKIT=1 docker build -t "$IMAGE:$TAG" \
     --build-arg CUDA_VER="$CUDA_VER" \
     --build-arg DEBUG="$DEBUG" \