
$(MAIN):
	../SOURCE_TOOLS/build_info.pl 
