diff options
-rwxr-xr-x | src/make_tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/make_tools.sh b/src/make_tools.sh index 1efe40f..db8ffb4 100755 --- a/src/make_tools.sh +++ b/src/make_tools.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # A small script to generate the chroot environment where building will take place export MAKEFLAGS="-j$(grep "processor" /proc/cpuinfo | wc -l)" |