From 67cc9b43c4f158787c86e27cd85e80e7cc49f9c5 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 15 Jan 2021 11:50:43 +0000
Subject: [PATCH] Use $IMAGE_NAME for tagging.

---
 isabelle/hooks/build | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/isabelle/hooks/build b/isabelle/hooks/build
index 5723fb5..69944b3 100755
--- a/isabelle/hooks/build
+++ b/isabelle/hooks/build
@@ -1,5 +1,5 @@
 #!/bin/bash
-# Copyright (c) 2019 Achim D. Brucker
+# Copyright (c) 2019-2021 Achim D. Brucker
 #
 # All rights reserved.
 #
@@ -59,8 +59,8 @@ for url in $ISA_URL $AFP_URL/$AFP_TAR; do
   fi
 done
 
-$CONTAINER build -t logicalhacking/isabelle$VERSION . \
-             --build-arg uid="$DOCKERUID" \
-             --build-arg sessions="$SESSIONS" \
-             --build-arg isabelle="$ISA_URL" \
-             --build-arg afp="$AFP_URL/$AFP_TAR"
+$CONTAINER build --build-arg uid="$DOCKERUID" \
+                 --build-arg sessions="$SESSIONS" \
+                 --build-arg isabelle="$ISA_URL" \
+                 --build-arg afp="$AFP_URL/$AFP_TAR" \
+                 -t $IMAGE_NAME .