Thomas Capricelli 8a6d5f10dc backport from tip : actually stop on compile failure		2010-01-06 17:17:40 +01:00
..
eigen_gen_docs	backport from tip : actually stop on compile failure	2010-01-06 17:17:40 +01:00