Commit 70807ad274be39d58a5b43e12d4585325cb314c4

Ebrahim Byagowi 2018-01-02T23:52:12

Fix make check issue on out-of-tree builds and test it (#672)