From 39741c7d50901b2d9724e40d7ad8c51011d80aaf Mon Sep 17 00:00:00 2001 From: Wayne Davison Date: Fri, 24 Jul 2020 16:49:55 -0700 Subject: [PATCH] Fix the setting of $make. --- packaging/smart-rebuild | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/packaging/smart-rebuild b/packaging/smart-rebuild index c614f79d..dcf10286 100755 --- a/packaging/smart-rebuild +++ b/packaging/smart-rebuild @@ -1,6 +1,8 @@ -#!/bin/sh -e +#!/bin/sh + +set -e -make=`which make || which gmake` +make=`which make 2>/dev/null` || make=`which gmake 2>/dev/null` branch=`packaging/prep-auto-dir` if test x"$branch" = x; then -- 2.47.2