Updated grabber shell scripts

They grab the files from Dropbox when they cannot be retrieved from my server.
vercas · Feb 5, 2016 · 9db954c · 9db954c
1 parent 8f0816b
commit 9db954c
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 9 deletions.
diff --git a/grab_genisoimage.sh b/grab_genisoimage.sh
@@ -11,13 +11,19 @@ fi
 
 mkdir -p $MISC_TOOLS_DIR
 
-pushd "$MISC_TOOLS_DIR"
-
 if [ ! -e "$MISC_TOOLS_DIR/genisoimage" ]
 then
+	pushd "$MISC_TOOLS_DIR"
+
 	$PRECMD wget "http://u.vercas.com/genisoimage"
-fi
+	RES=$?
+
+	if [ $RES != 0 ]
+	then
+		$PRECMD wget "https://dl.dropboxusercontent.com/u/1217587/genisoimage"
+	fi
 
-chmod +x genisoimage
+	chmod +x genisoimage
 
-popd
+	popd
+fi
diff --git a/grab_xcs_linux-amd64.sh b/grab_xcs_linux-amd64.sh
@@ -19,10 +19,7 @@ then
 
 	$PRECMD wget "http://u.vercas.com/gcc-x86_64-elf.tar.xz" -O $TMP
 	RES=$?
-	echo ""
-	echo "RESULT IS $RES"
-	echo ""
-
+
 	if [ $RES != 0 ]
 	then
 		$PRECMD wget "https://dl.dropboxusercontent.com/u/1217587/gcc-x86_64-elf.tar.xz" -O $TMP