3 . "$(dirname $0)/common.sh"
10 [ -d "$build_dir" ] || mkdir -p "$build_dir"
12 rm -rf *config perf *config.log perf.log
14 [ -d tmp ] || mkdir tmp
15 [ -d .ccache ] || mkdir .ccache
17 git remote update || true
19 git clone -s -l -c gc.auto=0 linus.git next