Merge pull request #1746 from martin-frbg/issue1674
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 30 Aug 2018 15:48:07 +0000 (17:48 +0200)
committerGitHub <noreply@github.com>
Thu, 30 Aug 2018 15:48:07 +0000 (17:48 +0200)
Assume cross-compilation if host and target os differ

1  2 
c_check

diff --cc c_check
Simple merge