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() {