diff --git a/src/Makefile.in b/src/Makefile.in
index 37eadae3efcd745b45d05494c738b443d07d6463..6491aeb2f6f3b01ae6d85f996480d234b4642c63 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile.in,v 1.93 1998/05/27 22:55:18 hubbe Exp $
+# $Id: Makefile.in,v 1.94 1998/05/28 04:24:18 hubbe Exp $
 #
 
 # This line is needed on some machines.
@@ -351,7 +351,7 @@ lib: $(LIBDIR_SRC)/master.pike.in Makefile
 	done
 	@if [ -d share/. ]; then : ; else \
 	  echo "Creating symlink ./share"; \
-	  if [ "x`ls share 2>&1`" = "x" ]; then \
+	  if [ "x`ls share 2>&1 || :`" = "x" ]; then \
 	    echo "Renaming share to share.old"; \
 	    mv share share.old || exit 1; \
 	  else : ; fi; \