From 498e89fe9dd99a43b684488c38282f45c60d847b Mon Sep 17 00:00:00 2001 From: "Dr. Stephen Henson" Date: Wed, 23 Jan 2013 00:43:09 +0000 Subject: [PATCH] fix domd --- util/domd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/domd b/util/domd index f224b50e0f..efbfb3ab67 100755 --- a/util/domd +++ b/util/domd @@ -14,7 +14,7 @@ if [ "$MAKEDEPEND" = "" ]; then MAKEDEPEND=makedepend; fi cp Makefile Makefile.save # fake the presence of Kerberos touch $TOP/krb5.h -if expr "$MAKEDEPEND" : 'cc' > /dev/null; then +if expr "$MAKEDEPEND" : '.*cc' > /dev/null; then args="" while [ $# -gt 0 ]; do if [ "$1" != "--" ]; then args="$args $1"; fi -- 2.25.1