Lines Matching full:make
10 echo -e "\t\t-j <n>:\tPass -j flag to 'make'."
51 echo -e "command: make -s $* >/dev/null"
52 make $J -s $* >/dev/null
65 make -s clean
78 echo -e "command: make -s $ARGS ${@: -1}=$TMPDIR/ >/dev/null"
79 make $J -s $ARGS ${@: -1}=$TMPDIR/ >/dev/null
90 echo -e "command: make -s $* doc >/dev/null"
91 RST2MAN_OPTS="--exit-status=1" make $J -s $* doc
100 make -s doc-clean
115 echo -e "skip: make tools/bpf OUTPUT=<dir> (not supported)\n"
119 echo -e "skip: make tools/bpf (no .config found)\n"
120 echo -e "skip: make tools/bpf OUTPUT=<dir> (not supported)\n"
121 echo -e "skip: make tools/bpf O=<dir> (no .config found)\n"
153 echo -e "skip: make bpf OUTPUT=<dir> (not supported)\n"