From 41c7732ff3829d73472de8eabd8b25c113d383d0 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Tue, 10 Jan 2023 20:21:11 +0100 Subject: [PATCH] try a different technic to check --- debian/rules | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/debian/rules b/debian/rules index 5a74f853..41d6ce72 100755 --- a/debian/rules +++ b/debian/rules @@ -1010,9 +1010,10 @@ endif DESTDIR=$(DEB_INST) ninja $(VERBOSE) -C build-wasm/compiler-rt-wasm32 install DESTDIR=$(DEB_INST) ninja $(VERBOSE) -C build-wasm/compiler-rt-wasm64 install -ifeq (${LIBCXX_WASM_ENABLE},yes) - DESTDIR=$(DEB_INST) ninja $(VERBOSE) -C build-wasm/libcxx-wasm32-wasi install -endif + if test -d build-wasm/libcxx-wasm32-wasi; then \ + DESTDIR=$(DEB_INST) ninja $(VERBOSE) -C build-wasm/libcxx-wasm32-wasi install; \ + fi + # Rename binaries mkdir -p $(DEB_INST)/usr/bin/