joerg 74a4a33c84 Only define M4 if it wasn't set on the command line.		2013-04-06 15:25:51 +00:00
..
config.h	Only define M4 if it wasn't set on the command line.	2013-04-06 15:25:51 +00:00