phk 066017bb9c Add an option -O <filename> to ld. From the manpage:
-O filename
             Specifies the name of the output file.  The file is created as
             filename.tmp and when output is complete renamed to filename.
This allows us to:
	ld -O ${.TARGET} -x -r ${.TARGET}
1996-05-28 16:17:48 +00:00
..
1995-05-30 05:05:38 +00:00
1995-09-22 14:14:32 +00:00
1995-05-30 05:05:38 +00:00