trivial diff: update tools/binary

[Zoltan Somogyi]

tools/binary:
	Test for the presence of a builtin.o file instead of mercury_builtin.o.

	Clarify the documentation a bit.

Zoltan.

cvs diff: Diffing .
Index: binary
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/binary,v
retrieving revision 1.16
diff -u -u -r1.16 binary
--- binary	1998/05/01 08:49:56	1.16
+++ binary	1998/06/01 06:11:49
@@ -20,7 +20,8 @@
 Usage: $0 [options]
 Options:
 	-b, --no-bootcheck
-		Do not perform a bootcheck; check only the tests directory.
+		Do not perform a bootcheck; check only the tests directory
+		or the single command.
 	-c, --compile-only
 		Check the successful creation of the stage3 .c files,
 		but do not compare stage2.ok and stage3.
@@ -165,7 +166,7 @@
 	exit 1
 fi
 
-if test -f stage2.ok/library/mercury_builtin.o -a -f stage2.bad/library/mercury_builtin.o
+if test -f stage2.ok/library/builtin.o -a -f stage2.bad/library/builtin.o
 then
 	echo "stage2.ok and stage2.bad both seem to have object files"
 else