Commit 7df8355125c1cf660093e1ebcf8f52d15423e23e Parent 2145ef0fe27f1db9a2e6d981df996298d94fbdae Author John MacFarlane <jgm@berkeley.edu> Date Wed, 12 Nov 2014 11:50:46 -0800 Re-added check to Makefile.