Index: Makefile.in
===================================================================
--- SVN/text-base/Makefile.in	Mon Sep 10 23:05:58 2001
+++ Makefile.in	Wed Sep 19 21:00:34 2001
@@ -132,7 +132,7 @@
 	    echo >> $$logfile ; \
 	done ; \
 	if test "$$failed" = "yes"; then \
-	    grep FAIL $$logfile || /bin/true ; \
+	    grep FAIL $$logfile || true ; \
 	fi
 
 mkdir-init: