From 05e762d3ce809bb4943cc364a169ebdce906c111 Mon Sep 17 00:00:00 2001 From: Zsolt Zitting Date: Sat, 18 Feb 2023 22:58:00 -0700 Subject: [PATCH] fix Makefile failing on strip --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index f39d2911..c9b1b145 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +SHELL = /bin/bash + V ?= @ .DEFAULT_GOAL := help