From 5990aa2c3bc06c92cd1fa97104d66c58f29735c9 Mon Sep 17 00:00:00 2001 From: davidovski Date: Thu, 3 Feb 2022 17:15:09 +0000 Subject: changed maketools to bash --- src/make_tools.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)" -- cgit v1.2.1