Merge pull request #2393 from Nerei/feature/minor_cmake_fix
authorJon Long <jonlong@cs.berkeley.edu>
Thu, 30 Apr 2015 03:10:14 +0000 (20:10 -0700)
committerJon Long <jonlong@cs.berkeley.edu>
Thu, 30 Apr 2015 03:10:14 +0000 (20:10 -0700)
commitb51cb22752a2f3a0476f239344d80e566828d969
tree3b7b5e7e158199b7946f809c287639c5980082d1
parent28e8f9ead072aaa2d90460d4e5eabf12f90a16c1
parentc1c493900271867da92cea8789a670b1d08c2f1d
Merge pull request #2393 from Nerei/feature/minor_cmake_fix

Little CMake fix (can be reviewed and merged quickly)