Andreas Röver - 2013-06-03

hm I guess that could maybe count a a bug but probably not as you expecit it to be... the make check only runs through, when you use the checked out tree of pushover. The normal distributions can't do make check due to missing files.

It should not crash though, it should rather complaing that there are no files for the check....