1 files changed, 0 insertions, 39 deletions
diff --git a/armv7-versatile/download-image.sh b/armv7-versatile/download-image.sh
deleted file mode 100755
index 1aff10d..0000000
--- a/armv7-versatile/download-image.sh
+++ /dev/null
@@ -1,39 +0,0 @@
-#!/bin/bash
-
-set -e
-
-DIR="$1"
-IMAGE_BASENAME="$2"
-
-if [[ -z "$IMAGE_BASENAME" ]]; then
-  echo "Usage: $0 <INSTALL DIR> <IMAGE BASE NAME>"
-  echo "Example: $0 . devel-system-armv7-versatile"
-  exit 1
-fi
-
-COMPRESSED_IMAGE="$IMAGE_BASENAME.img.gz"
-DECOMPRESSED_IMAGE=${COMPRESSED_IMAGE/.gz/}
-KERNEL_IMAGE="$IMAGE_BASENAME.zimage"
-
-if [[ ! -d "$DIR" ]]; then
-  mkdir -p "$DIR"
-fi
-
-cd "$DIR"
-
-if [[ ! -f "$COMPRESSED_IMAGE" ]]; then
-  echo "Downloading development image..."
-  curl "http://download.baserock.org/baserock/$COMPRESSED_IMAGE" > \
-    "$COMPRESSED_IMAGE"
-fi
-
-if [[ ! -f "$KERNEL_IMAGE" ]]; then
-  echo "Downloading kernel image..."
-  curl "http://download.baserock.org/baserock/$KERNEL_IMAGE" > \
-    "$KERNEL_IMAGE"
-fi
-
-if [[ ! -f "$DECOMPRESSED_IMAGE" ]]; then
-  echo "Decompressing development image..."
-  gzip -cd "$COMPRESSED_IMAGE" > "$DECOMPRESSED_IMAGE"
-fi