From 085af72a05ff7717e757af0eefb55b2d05232e11 Mon Sep 17 00:00:00 2001 From: Luca Stefani Date: Thu, 17 Aug 2017 20:34:44 +0200 Subject: [PATCH] vendor: build: Kill schedtool Change-Id: Idd6cc6679b1e84f365a5a18645590c549af20af5 --- build/envsetup.sh | 18 ++---------------- 1 file changed, 2 insertions(+), 16 deletions(-) diff --git a/build/envsetup.sh b/build/envsetup.sh index 6e612326..7e9c6f01 100644 --- a/build/envsetup.sh +++ b/build/envsetup.sh @@ -672,14 +672,7 @@ function lineagerebase() { } function mka() { - case `uname -s` in - Darwin) - m -j "$@" - ;; - *) - mk_timer schedtool -B -n 10 -e ionice -n 7 m -j "$@" - ;; - esac + m -j "$@" } function cmka() { @@ -710,14 +703,7 @@ function repolastsync() { } function reposync() { - case `uname -s` in - Darwin) - repo sync -j 4 "$@" - ;; - *) - schedtool -B -n 1 -e ionice -n 1 `which repo` sync -j 4 "$@" - ;; - esac + repo sync -j 4 "$@" } function repodiff() {