From 8b7ecb4ecb3b3ef767eaa76cb46ad43a4a1ca842 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Sat, 11 Nov 2023 09:57:06 +0100 Subject: [PATCH] add debug info --- debian/rules | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/rules b/debian/rules index 83ffd9f1..9983fc0c 100755 --- a/debian/rules +++ b/debian/rules @@ -542,6 +542,7 @@ preconfigure: @echo "COMPILER_RT_WASM_ENABLE=$(COMPILER_RT_WASM_ENABLE)" @echo "LIBCXX_WASM_ENABLE=$(LIBCXX_WASM_ENABLE)" @echo "SCCACHE_ENABLE=$(SCCACHE_ENABLE)" + @echo "LLVM_SPIRV_INSTALLED=$(LLVM_SPIRV_INSTALLED)" for f in debian/*.in; do \ f2=$$(echo $$f | sed 's/\.in$$//;s/X\.Y/$(LLVM_VERSION)/'); \