From a8064cfdb5dd35f4342c076d74e2114588a745f1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Storsj=C3=B6?= <martin@martin.st>
Date: Fri, 22 Feb 2019 22:34:54 +0200
Subject: [PATCH] Install the sanitizer headers

---
 build-compiler-rt.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build-compiler-rt.sh b/build-compiler-rt.sh
index 6083516..ec0ea2e 100755
--- a/build-compiler-rt.sh
+++ b/build-compiler-rt.sh
@@ -84,6 +84,7 @@ for arch in $ARCHS; do
     cmake \
         ${CMAKE_GENERATOR+-G} "$CMAKE_GENERATOR" \
         -DCMAKE_BUILD_TYPE=Release \
+        -DCMAKE_INSTALL_PREFIX=$PREFIX/$arch-w64-mingw32 \
         -DCMAKE_C_COMPILER=$arch-w64-mingw32-clang \
         -DCMAKE_CXX_COMPILER=$arch-w64-mingw32-clang++ \
         -DCMAKE_SYSTEM_NAME=Windows \
@@ -106,5 +107,8 @@ for arch in $ARCHS; do
             cp $i $PREFIX/$arch-w64-mingw32/bin
         fi
     done
+    if [ -n "$SANITIZERS" ]; then
+        make install-compiler-rt-headers
+    fi
     cd ..
 done