From 27259af5488ed863645cb0262d7dca0b048c406d Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Wed, 17 May 2023 13:55:26 +0200 Subject: [PATCH] add more debian info --- debian/rules | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/rules b/debian/rules index 5916a7c9..9da48c43 100755 --- a/debian/rules +++ b/debian/rules @@ -531,6 +531,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)/'); \