commit: 78af9127cbce961b4a842e1896385f35647ae83b
parent 4322b41789f3d265256449fa1d451096b1fa6ae6
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Fri, 24 May 2024 01:27:48 +0200
bootstrap-bash.sh: Use GNU make
Diffstat:
1 file changed, 13 insertions(+), 3 deletions(-)
diff --git a/bootstrap-bash.sh b/bootstrap-bash.sh
@@ -1,14 +1,24 @@
#!/bin/sh
set -ex
+die() {
+ echo "die: $@"
+ exit 1
+}
+
+# Also works with bmake, doesn't works with pdpmake
+command -v make || die "Run /bootstrap-make.sh"
+
+export MAKE="make"
+
gzip -d -k /bash-5.1.tar.gz
tar xof /bash-5.1.tar
cd bash-5.1
export LD="tcc"
./configure --prefix=/usr --disable-nls --without-bash-malloc --disable-profiling
-bmake clean
-bmake SIZE=true
-bmake install MAKEINFO=true INSTALL=install
+${MAKE} clean
+${MAKE} SIZE=true
+${MAKE} install MAKEINFO=true INSTALL=install
cd ..
rm -r bash-5.1 /bash-5.1.tar