From f71e137998ed6ea6493b08e086e73b88ca78064a Mon Sep 17 00:00:00 2001
From: Marcus Holland-Moritz <github@mhxnet.de>
Date: Wed, 14 Aug 2024 12:25:05 +0200
Subject: [PATCH] build: try building example binary in -split configuration

---
 .docker/build-linux.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.docker/build-linux.sh b/.docker/build-linux.sh
index 92188643..435ceb2e 100755
--- a/.docker/build-linux.sh
+++ b/.docker/build-linux.sh
@@ -215,6 +215,11 @@ if [[ "$BUILD_FROM_TARBALL" == "1" ]]; then
       $BUILD_TOOL distclean
       rm -rf *
 
+      # ==== example binary ====
+      cmake ../dwarfs/example $CMAKE_TOOL_ARGS -DCMAKE_PREFIX_PATH="$PREFIXPATH"
+      time $BUILD_TOOL
+      rm -rf *
+
       # ==== dwarfs tools ====
       cmake ../dwarfs/ $CMAKE_ARGS -DWITH_LIBDWARFS=OFF -DWITH_TOOLS=ON -DWITH_FUSE_DRIVER=OFF -DCMAKE_PREFIX_PATH="$PREFIXPATH"
       time $BUILD_TOOL