[PATCH 2/2] ci: Compile demos on macOS.

[Giovanni Mascellani]

From: Giovanni Mascellani

---
 gitlab/build-mac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitlab/build-mac b/gitlab/build-mac
index 401bdc5a4..f5ba045a8 100755
--- a/gitlab/build-mac
+++ b/gitlab/build-mac
@@ -11,7 +11,7 @@ set -Eeuxo pipefail
 rm -fr build
 mkdir build
 cd build
-../configure && make -j$(sysctl -n hw.ncpu) && make -j$(sysctl -n hw.ncpu) check || touch ../pipeline_failed
+../configure --enable-demos && make -j$(sysctl -n hw.ncpu) && make -j$(sysctl -n hw.ncpu) check || touch ../pipeline_failed

mkdir -p ../artifacts/$COMMIT
 rsync -Rr test-suite.log tests/*.log tests/*/*.log ../artifacts/$COMMIT