diff options
Diffstat (limited to 'compile.bash')
| -rwxr-xr-x | compile.bash | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compile.bash b/compile.bash index 08e8752febec..d04fddf6dc75 100755 --- a/compile.bash +++ b/compile.bash @@ -2,9 +2,10 @@ set -e if command -v schedtool >/dev/null 2>&1; then - prefix_cmd='schedtool -B -n1 -e' + # Set current shell and all descendents as SCHED_BATCH, see schedtool(8) + schedtool -B $$ + prefix_cmd='schedtool -B -n20 -e ' fi -prefix_cmd="${prefix_cmd} ionice -n 1" venv() { virtualenv ".venv" -p python3 |