# [ "$SERIES" ] || fatal 1 "Target $TARGET did not specify a patch series."
# [ "$CONFIG" ] || fatal 1 "Target $TARGET did not specify a kernel config."
[ "$VERSION" ] || fatal 1 "Target $TARGET did not specify the kernel version."
-
+
if [ "$KERNELDIR" ] ; then
KERNEL_FILE="$KERNELDIR/$KERNEL"
[ -r "$KERNELDIR/$KERNEL" ] || \
unset DISTCC
fi
fi
-
+
CC=${CC:-gcc}
if [ "$CCACHE" ]; then
- CC="$CCACHE $CC"
+ [[ $CC != ccache\ * ]] && CC="$CCACHE $CC"
[ "$DISTCC" ] && export CCACHE_PREFIX="$DISTCC"
else
[ "$DISTCC" ] && CC="$DISTCC $CC"
[ -L linux ] && rm -rf $(readlink linux)
rm -rf linux
fi
- untar "$KERNEL_FILE"
+ untar "$KERNEL_FILE" || fatal 1 "Error unpacking Linux tarball"
[ -d linux ] || ln -sf linux* linux
popd >/dev/null
}