Index: src/build.mips32
===================================================================
--- src/build.mips32	(revision a2dc632e6da60e8ea940ffe7cc303e665b699e8b)
+++ src/build.mips32	(revision c0a91d152dfc74afe8c7a487c84397abadcba648)
@@ -2,5 +2,5 @@
 
 if [ -z "$1" ]; then
-  echo "Usage: $0 [msim|simics|lgxemul|bgxemul|indy]"
+  echo "Usage: $0 [msim|msim4kc|simics|lgxemul|bgxemul|indy]"
   exit 1
 else