summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorpeter <peter@pmikkelsen.com>2026-10-04 18:13:16 +0000
committerpeter <peter@pmikkelsen.com>2026-10-04 18:13:16 +0000
commitab9f55b03c670628d87323d636f86322147e5e40 (patch)
treeb2ab72459d6df4ef048d8746b43237c1c5f8d46a /tools
parent17285405af9f0289f271ba4ca9f18c164ad2bd90 (diff)
The UTF-8 code had two NEVERs which didn't make sense.
FossilOrigin-Name: 1be20afeb238bc7c9ca36b903378d6236af521855cfe76fe59ee39f22a7533ff
Diffstat (limited to 'tools')
-rwxr-xr-xtools/check4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/check b/tools/check
index 6e16098..08d9ad5 100755
--- a/tools/check
+++ b/tools/check
@@ -33,9 +33,9 @@ do
exit 1
;;
esac
- ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS -Wall -Wextra -Werror -std=c89 -pedantic" LDFLAGS="$LDFLAGS" $OTHER
+ ../../configure --enable-maintainer-mode --disable-shared --enable-build-mode=$type CFLAGS="$CFLAGS -Wall -Wextra -Werror -std=c89 -pedantic" LDFLAGS="$LDFLAGS" $OTHER
make -j check
- ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" $OTHER
+ ../../configure --enable-maintainer-mode --disable-shared --enable-build-mode=$type CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" $OTHER
cd ..
done