From 86285b0da4660d4646366f1cd453c231fb59f133 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Fri, 7 Oct 2022 16:02:10 +0200
Subject: [PATCH] add a check for Faidon's change

---
 debian/qualify-clang.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/debian/qualify-clang.sh b/debian/qualify-clang.sh
index e36ebf70..bcae9150 100755
--- a/debian/qualify-clang.sh
+++ b/debian/qualify-clang.sh
@@ -1357,6 +1357,17 @@ else
     echo "clang-$VERSION-dbgsym isn't installed"
 fi
 
+if dpkg -l|grep -q wasi-libc; then
+    cat <<EOF > printf.c
+    #include <stdio.h>
+    int main(int argc, char *argv[])
+    {
+    printf("%s\n", "Hello world!");
+    }
+EOF
+    clang-$VERSION -target wasm32-unknown-wasi -o printf printf.c
+fi
+
 echo '
 #include <vector>
 int main (void)