#!/bin/sh

. "$(dirname $0)/common.sh"

cmd=
[ "$build_host" ] &&
	cmd="ssh $build_host"
$cmd /bin/sh <<EOF
	set -x -e
	[ -d "$build_dir" ] || mkdir -p "$build_dir"
	cd "$build_dir/.."
	rm -rf *config perf *config.log perf.log
	rm -rf next
	[ -d tmp ] || mkdir tmp
	[ -d .ccache ] || mkdir .ccache
	cd linus.git
	git remote update || true
	cd ..
	git clone -s -l -c gc.auto=0 linus.git next
EOF