From e1f347ef82948ccc3219cc0e957c5a48d3b02365 Mon Sep 17 00:00:00 2001 From: Rob Landley Date: Fri, 20 May 2022 10:57:13 -0500 Subject: [PATCH] Fix dependency checking. --- scripts/make.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/make.sh b/scripts/make.sh index cd0715f2..056ec6f1 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -16,7 +16,8 @@ do_loudly() # Is anything under directory $2 newer than generated/$1 (or does it not exist)? isnewer() { - find "${@:2}" -newer "$GENDIR/$1" &>/dev/null && return 1 + [ -e "$GENDIR/$1" ] && [ -z "$(find "${@:2}" -newer "$GENDIR/$1")" ] && + return 1 [ "$((DIDNEWER++))" -eq 0 ] && echo -n "$GENDIR/{" || echo -n , echo -n $1 return 0 -- 2.39.2