chiark / gitweb /
Merge pull request #15 from xantares/build-shared-libs-option
authorSteven G. Johnson <stevenj@mit.edu>
Tue, 6 May 2014 19:02:27 +0000 (15:02 -0400)
committerSteven G. Johnson <stevenj@mit.edu>
Tue, 6 May 2014 19:02:27 +0000 (15:02 -0400)
commitaf39a8d825aff427d5c2cb9d9ff510d27bd6b8ee
tree2c7c5f0023f2f608db95c72c61d1cda23092131c
parentc864e8af6eb5af053464c15e22064d63db0e9d0d
parentd1080bcb22a6867c5097be10e9bd0b100d562dc4
Merge pull request #15 from xantares/build-shared-libs-option

Use BUILD_SHARED_LIBS var