Commit 65e7ab9e1fd07c6df8fdd4dada320cbfef5a1258 Parent 890a926dec02d8f024a4492248dbff4f84d37ff2 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 25 Apr 2015 13:02:42 -0700 Really fixed cmake warning.