]> Zhao Yanbai Git Server - minix.git/commitdiff
daily: makewhatis -f
authorpikpik <pikpik.1010@gmail.com>
Thu, 27 Sep 2012 21:12:14 +0000 (23:12 +0200)
committerBen Gras <ben@minix3.org>
Thu, 27 Sep 2012 21:12:14 +0000 (23:12 +0200)
. use a little less memory and the processor will be
  freer during start-up.

etc/usr/daily

index b6b1eb157fb36c13ef1a47a752b7622e0d717ddc..8a6c5c60423187da16163d4717f743579d59c146 100755 (executable)
@@ -69,7 +69,7 @@ do
 done
 
 # Update manpage index but don't warn about nonexistant dirs
-/usr/libexec/makewhatis 2>/dev/null
+/usr/libexec/makewhatis -f 2>/dev/null
 
 # Continue with a local script if present.
 test -f /usr/local/etc/daily && sh /usr/local/etc/daily $caller