diff options
| author | davidovski <david@davidovski.xyz> | 2022-02-03 17:15:09 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-02-03 17:15:09 +0000 |
| commit | 5990aa2c3bc06c92cd1fa97104d66c58f29735c9 (patch) | |
| tree | 80f9cb66dcdc5a2c3b84a5beb57a5f932983a07e | |
| parent | d0adadaa54c6cf6ae6c21f5e19da2fd8876409a6 (diff) | |
changed maketools to bash
| -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)" |