arm-sdk

commit 1295b0c021c52faecf94f6c9e79e48dd70cf0f38
parent 0fcd5de077b665f7b8f879e469a12082770b6546
Author: parazyd <parazyd@dyne.org>
Date:   Wed, 29 Nov 2017 13:57:17 +0100

disable installation of kernel headers

Diffstat:
M
boards/nokia-n900.sh
 | 
14
+++++++-------
M
boards/ouya.sh
 | 
1
+
M
boards/raspberry-pi1.sh
 | 
14
+++++++-------
M
boards/raspberry-pi2.sh
 | 
14
+++++++-------
M
boards/raspberry-pi3.sh
 | 
14
+++++++-------
M
boards/sunxi.sh
 | 
14
+++++++-------

6 files changed, 36 insertions(+), 35 deletions(-)
diff --git a/boards/nokia-n900.sh b/boards/nokia-n900.sh
@@ -98,13 +98,13 @@ build_kernel_armel() {
 				modules_install || zerr
 
 	# install kernel headers
-	sudo -E PATH="$PATH" \
-		make \
-			$MAKEOPTS \
-			ARCH=arm \
-			CROSS_COMPILE=$compiler \
-			INSTALL_HDR_PATH=$strapdir/usr \
-				headers_install || zerr
+	#sudo -E PATH="$PATH" \
+	#	make \
+	#		$MAKEOPTS \
+	#		ARCH=arm \
+	#		CROSS_COMPILE=$compiler \
+	#		INSTALL_HDR_PATH=$strapdir/usr \
+	#			headers_install || zerr
 
 	# install kernel firmware
 	sudo -E PATH="$PATH" \
diff --git a/boards/ouya.sh b/boards/ouya.sh
@@ -104,6 +104,7 @@ build_kernel_armhf() {
 	# http://tuomas.kulve.fi/blog/2013/09/12/debian-on-ouya-all-systems-go/     #
 	#############################################################################
 EOM
+	sleep 5
 
 	postbuild || zerr
 }
diff --git a/boards/raspberry-pi1.sh b/boards/raspberry-pi1.sh
@@ -103,13 +103,13 @@ build_kernel_armel() {
 					modules_install || zerr
 
 		# install kernel headers
-		sudo -E PATH="$PATH" \
-			make \
-				$MAKEOPTS \
-				ARCH=arm \
-				CROSS_COMPILE=$compiler \
-				INSTALL_HDR_PATH=$strapdir/usr \
-					headers_install || zerr
+		#sudo -E PATH="$PATH" \
+		#	make \
+		#		$MAKEOPTS \
+		#		ARCH=arm \
+		#		CROSS_COMPILE=$compiler \
+		#		INSTALL_HDR_PATH=$strapdir/usr \
+		#			headers_install || zerr
 
 		# install kernel firmware
 		sudo -E PATH="$PATH" \
diff --git a/boards/raspberry-pi2.sh b/boards/raspberry-pi2.sh
@@ -103,13 +103,13 @@ build_kernel_armhf() {
 					modules_install || zerr
 
 		# install kernel headers
-		sudo -E PATH="$PATH" \
-			make \
-				$MAKEOPTS \
-				ARCH=arm \
-				CROSS_COMPILE=$compiler \
-				ISNTALL_HDR_PATH=$strapdir/usr \
-					headers_install || zerr
+		#sudo -E PATH="$PATH" \
+		#	make \
+		#		$MAKEOPTS \
+		#		ARCH=arm \
+		#		CROSS_COMPILE=$compiler \
+		#		INSTALL_HDR_PATH=$strapdir/usr \
+		#			headers_install || zerr
 
 		# install kernel firmware
 		sudo -E PATH="$PATH" \
diff --git a/boards/raspberry-pi3.sh b/boards/raspberry-pi3.sh
@@ -103,13 +103,13 @@ build_kernel_arm64() {
 					modules_install || zerr
 
 		# install kernel headers
-		sudo -E PATH="$PATH" \
-			make \
-				$MAKEOPTS \
-				ARCH=arm64 \
-				CROSS_COMPILE=$compiler \
-				INSTALL_HDR_PATH=$strapdir/usr \
-					headers_install || zerr
+		#sudo -E PATH="$PATH" \
+		#	make \
+		#		$MAKEOPTS \
+		#		ARCH=arm64 \
+		#		CROSS_COMPILE=$compiler \
+		#		INSTALL_HDR_PATH=$strapdir/usr \
+		#			headers_install || zerr
 
 		# install kernel firmware
 		sudo -E PATH="$PATH" \
diff --git a/boards/sunxi.sh b/boards/sunxi.sh
@@ -132,13 +132,13 @@ build_kernel_armhf() {
 					modules_install || zerr
 
 		# install kernel headers
-		sudo -E PATH="$PATH" \
-			make \
-				$MAKEOPTS \
-				ARCH=arm \
-				CROSS_COMPILE=$compiler \
-				INSTALL_HDR_PATH=$strapdir/usr \
-					headers_install || zerr
+		#sudo -E PATH="$PATH" \
+		#	make \
+		#		$MAKEOPTS \
+		#		ARCH=arm \
+		#		CROSS_COMPILE=$compiler \
+		#		INSTALL_HDR_PATH=$strapdir/usr \
+		#			headers_install || zerr
 
         sudo cp -v arch/arm/boot/zImage $strapdir/boot/ || zerr
 		sudo mkdir -p $strapdir/boot/dtbs