vendor: build: Kill schedtool

Change-Id: Idd6cc6679b1e84f365a5a18645590c549af20af5
gugelfrei
Luca Stefani 7 years ago committed by Michael Bestas
parent 74df07039a
commit 085af72a05
No known key found for this signature in database
GPG Key ID: CC95044519BE6669

@ -672,14 +672,7 @@ function lineagerebase() {
} }
function mka() { function mka() {
case `uname -s` in m -j "$@"
Darwin)
m -j "$@"
;;
*)
mk_timer schedtool -B -n 10 -e ionice -n 7 m -j "$@"
;;
esac
} }
function cmka() { function cmka() {
@ -710,14 +703,7 @@ function repolastsync() {
} }
function reposync() { function reposync() {
case `uname -s` in repo sync -j 4 "$@"
Darwin)
repo sync -j 4 "$@"
;;
*)
schedtool -B -n 1 -e ionice -n 1 `which repo` sync -j 4 "$@"
;;
esac
} }
function repodiff() { function repodiff() {

Loading…
Cancel
Save