Merge pull request #3612 from nsait-linaro/fix-windows-make-build
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Mon, 25 Apr 2022 13:51:34 +0000 (15:51 +0200)
committerGitHub <noreply@github.com>
Mon, 25 Apr 2022 13:51:34 +0000 (15:51 +0200)
build: minor fixes to build on windows with make


Trivial merge