Merge pull request #5614 from alexrp/master
authorAlex Rønne Petersen <alex@alexrp.com>
Thu, 21 Sep 2017 12:21:33 +0000 (14:21 +0200)
committerGitHub <noreply@github.com>
Thu, 21 Sep 2017 12:21:33 +0000 (14:21 +0200)
commit50e2ecc773eaa9b288261af85f6f2dafd09f4522
treec72b00c50a8fed54b5db059b3db8fef76bc24a11
parent5d97d9b6c91b8000a356f7cafeeb9747db2b3c9f
parent917eb0586cd0f7419d5ce0662525efb2ed1ced12
Merge pull request #5614 from alexrp/master

[runtime] Fix shared-only build.