diff --git a/Makefile b/Makefile
index ee08e380e55775d75780785b57b17c02dc2413d3..2a996f0b4b0f6918a8b0974b424d9ef2a41f8d5e 100644
--- a/Makefile
+++ b/Makefile
@@ -55,7 +55,7 @@ BIN_DIST_TOP= distrib/Makefile-bin.in \
 
 binary-dist::
 	@for i in $(BIN_DIST_TOP); do \
-	  if [ -e $$i ]; then \
+	  if test -f "$$i"; then \
 	     echo cp $$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME); \
 	     cp $$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME); \
 	  fi; \