2013-02-01  Jeremy Bennett <jeremy.bennett@embecosm.com>

	* build-all.sh: Correct error in merging option to control
	building of unified source tree.