* boards/native-stdio-gdbserver.exp (${board}_build_remote_cmd): Pass
	"--" to switch.
	* mips-tdep.c (micromips_deal_with_atomic_sequence): Correct
	formatting.
2013-07-24  Steve Ellcey  <sellcey@mips.com>

	* mips/idtmon.S (unlink, lseek, stat): Add new functions.