3 . "$(dirname $0)/common.sh"
5 ssh "$build_host" /bin/sh <<EOF
7 [ -d "$build_dir" ] || mkdir -p "$build_dir"
9 rm -rf *config perf *config.log perf.log
11 [ -d tmp ] || mkdir tmp
12 [ -d .ccache ] || mkdir .ccache
14 git remote update || true
16 git clone -s -l -c gc.auto=0 linus.git next