X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=457513cb9dd8853efe892c0860ef38f09022f779;hb=83c19ab15aa7b2d63632ac9694541759bc8d2351;hp=8517b2b8432477bffb1a22143b21fef7dea59993;hpb=611d30ceb68c8542d11acee8248f66f9485505e9;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index 8517b2b8..457513cb 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -88,7 +88,7 @@ SUFFIXES += .in
                 -e 's,[@]abs_top_srcdir[@],$(abs_top_srcdir),g' \
                 -e 's,[@]ovsdbmonitordir[@],$(ovsdbmonitordir),g' \
             > $@.tmp
-	@if head -n 1 $@.tmp | grep -q '#!'; then \
+	@if head -n 1 $@.tmp | grep '#!' > /dev/null; then \
 	    echo chmod +x $@.tmp; \
 	    chmod +x $@.tmp; \
 	fi