Commit df6841b7d543abc9731b4b42a2392089a41fb838

Stefano Lattarini 2012-02-06T23:17:32

Merge branch 'maint' into yacc-work * maint: (75 commits) test defs: function 'is_newest' now works also with directories refactor: new variable telling whether make is running in "dry mode" ...