Commit d2d18dca6f34c36881b54f45c598e6bbf622be83

Stefano Lattarini 2012-02-05T18:37:45

Merge branch 'maint' * maint: refactor: new variable telling whether make is running in "dry mode" tests: do not clobber the modified CC