##// END OF EJS Templates
fix
burnbabyburn -
r378:835e06395f81
parent child
Show More
@@ -11,14 +11,14 if [ -z "$APT_PROXY" ] ; then
11 11 sed -i "s/\"\"/\"${APT_PROXY}\"/" "${ETC_DIR}/apt/apt.conf.d/10proxy"
12 12 fi
13 13
14 if [ "$BUILD_KERNEL" = false ] ; then
15 echo "Downloading precompiled kernel"
16 echo "error: not configured"
17 exit 1;
14 #if [ "$BUILD_KERNEL" = false ] ; then
15 # echo "Downloading precompiled kernel"
16 # echo "error: not configured"
17 # exit 1;
18 18 # BUILD_KERNEL=true
19 else
20 echo "No precompiled kernel repositories were added"
21 fi
19 #else
20 # echo "No precompiled kernel repositories were added"
21 #fi
22 22
23 23 # Upgrade package index and update all installed packages and changed dependencies
24 24 chroot_exec apt-get -qq -y update
@@ -381,7 +381,7 if [ "$KERNEL_ARCH" = arm64 ] && ( [ "$RPI_MODEL" = 3 ] || [ "$RPI_MODEL" = 3P ]
381 381 # Fetch kernel dl
382 382 as_nobody wget -O "${temp_dir}"/kernel.tar.xz -c "$RPI3_64_KERNEL_URL"
383 383 #extract download
384 tar -xJf kernel.tar.xz -C "${R}"
384 tar -xJf "${temp_dir}"/kernel.tar.xz -C "${R}"
385 385
386 386 # Remove temporary directory for kernel sources
387 387 rm -fr "${temp_dir}"
General Comments 0
Vous devez vous connecter pour laisser un commentaire. Se connecter maintenant