diff options
Diffstat (limited to 'util/domd')
-rwxr-xr-x | util/domd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/domd b/util/domd index 560ebeaf820f..112044c0d4f8 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 [ "$MAKEDEPEND" = "gcc" ]; then +if expr "$MAKEDEPEND" : '.*gcc$' > /dev/null; then args="" while [ $# -gt 0 ]; do if [ "$1" != "--" ]; then args="$args $1"; fi |