Merge pull request #2038 from martin-frbg/issue2035
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Mon, 4 Mar 2019 14:07:48 +0000 (15:07 +0100)
committerGitHub <noreply@github.com>
Mon, 4 Mar 2019 14:07:48 +0000 (15:07 +0100)
commit12f2b76748bf7b81e5a3c1cf2d6b08af4fc2c1f7
tree0ce94f06581802a569dcc4f873c626825cda5170
parent6c83b878f6db30d275304eee080ebddb9bc6eafd
parent25427926bc8b74a48e335ae05c56cbfd8d0187b9
Merge pull request #2038 from martin-frbg/issue2035

Improve handling of NO_STATIC and NO_SHARED