From 334b3ab0836d0f3f2a7ce6b992eaeccbaea41240 Mon Sep 17 00:00:00 2001
From: Dave Murphy <wntrmute@users.sourceforge.net>
Date: Sat, 22 Nov 2014 16:31:23 +0000
Subject: [PATCH] use name of dir to report errors instead of archive name

---
 dkarm-eabi/scripts/build-tools.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 mode change 100644 => 100755 dkarm-eabi/scripts/build-tools.sh

diff --git a/dkarm-eabi/scripts/build-tools.sh b/dkarm-eabi/scripts/build-tools.sh
old mode 100644
new mode 100755
index 0c05244..7ee6f64
--- a/dkarm-eabi/scripts/build-tools.sh
+++ b/dkarm-eabi/scripts/build-tools.sh
@@ -10,11 +10,11 @@ do
 		touch configured
 	fi
 	if [ ! -f built ]; then
-		$MAKE || { echo "error building $archive"; exit 1; }
+		$MAKE || { echo "error building $dir"; exit 1; }
 		touch built
 	fi
 	if [ ! -f installed ]; then
-		$MAKE install || { echo "error installing $archive"; exit 1; }
+		$MAKE install || { echo "error installing $dir"; exit 1; }
 		touch installed
 	fi
 done