From 723acb144551e7d81ec2e745d12fc8b6a6513eb1 Mon Sep 17 00:00:00 2001 From: Rich Salz Date: Fri, 29 Jan 2016 11:36:21 -0500 Subject: [PATCH] Merge error, wrong domd submitted. Reviewed-by: Richard Levitte --- util/domd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/domd b/util/domd index 76b13d2c7b..9dd7ce59ba 100755 --- a/util/domd +++ b/util/domd @@ -17,7 +17,7 @@ if [ -z "$MAKEDEPEND" ] ; then MAKEDEPEND=makedepend fi -if ${MAKEDEPEND} --version 2>&1 | egrep "clang|gcc" >/dev/null +if ${MAKEDEPEND} --version 2>&1 | egrep "clang|gcc" >/dev/null ; then args="" while [ $# -gt 0 ]; do if [ "$1" != '--' ] ; then -- 2.25.1