From 79bf5b78b8aa7d65b269681ef320914e5e0c105d Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Wed, 31 Aug 2022 17:25:19 +0300 Subject: [PATCH] Run `make check` with libswipl preloaded --- .build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.build.yml b/.build.yml index 38f04e5..255b3c0 100644 --- a/.build.yml +++ b/.build.yml @@ -49,4 +49,4 @@ tasks: export LD_LIBRARY_PATH=/usr/local/lib make make sweep.info - make check + LD_PRELOAD=/usr/local/lib/libswipl.so make check -- 2.39.5