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 < printf.c + #include + 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 int main (void)