diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-07-08 12:40:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-08 12:40:54 +0200 |
| commit | 2172e60f7a53a56ff1ce04f3b683fb618fc5d3f7 (patch) | |
| tree | a00b7d7ec683601412aa2915e78af29e7c564f97 /Makefile.config.in | |
| parent | 156666de3da4a754582259bcc2fe68018ed2d3a5 (diff) | |
| parent | 4f80464645e4c8e7ca9455fc53cc76dc50f688ed (diff) | |
Merge pull request #4935 from alyssais/host_os
Apply OS checks to host platform, not build
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index fd92365eb..c8c4446b4 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -1,3 +1,4 @@ +HOST_OS = @host_os@ AR = @AR@ BDW_GC_LIBS = @BDW_GC_LIBS@ BOOST_LDFLAGS = @BOOST_LDFLAGS@ |