Fix --pull option.

bdusell · Jan 24, 2023 · fe44c68 · fe44c68
1 parent c85afa1
commit fe44c68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/get-docker-image.bash b/scripts/get-docker-image.bash
@@ -19,7 +19,7 @@ Options:
 mode=none
 while [[ $# -gt 0 ]]; do
   case $1 in
-    --pull) mode=build ;;
+    --pull) mode=pull ;;
     --build) mode=build ;;
     *) usage >&2; exit 1 ;;
   esac