vendor: build: Kill schedtool
Change-Id: Idd6cc6679b1e84f365a5a18645590c549af20af5
diff --git a/build/envsetup.sh b/build/envsetup.sh
index 6e61232..7e9c6f0 100644
--- a/build/envsetup.sh
+++ b/build/envsetup.sh
@@ -672,14 +672,7 @@
}
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 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() {