set $PATH to avoid (e.g.) /usr/local/bin/grep (gnu grep) being found

which has unexpected return codes compared to minix grep.

diff --git a/commands/scripts/binsizes.sh b/commands/scripts/binsizes.sh
index 849e001a4e13d4422dbb288767d2a2bd3a85d4c4..4fd303ac82474f58c7a8d59207468f569461132c 100644 (file)
--- a/commands/scripts/binsizes.sh
+++ b/commands/scripts/binsizes.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+PATH=/bin:/sbin:/usr/bin:/usr/sbin
+
 t=/etc/binary_sizes
 
 if [ "$#" -ne 1 ]