From 47da74a62863f73adb6f28144e8d690a3833f193 Mon Sep 17 00:00:00 2001
From: "Jose F. Morales" <jfmcjf@gmail.com>
Date: Thu, 27 Apr 2023 06:27:15 +0200
Subject: [PATCH] (ciaopp,exfilter) share common ciaoppcl part in
 ciaoppcl_common

Src-commit: 56dda35ac2c35744c4ce7596a82268a13a64b277
---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index fdfb1db14..05e7d0d39 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -82,7 +82,7 @@ jobs:
           # ARCHOPTS="${{ matrix.sys.archopts }} --core:custom_cc=$CC"
           ./ciao-boot.sh boot-build $ARCHOPTS
           if [ $DEVENV == yes ]; then ./ciao-boot.sh fetch devenv; fi
-          if [ $WASM == yes ]; then ./ciao-boot.sh fetch ciaowasm ciao_playground website; fi
+          if [ $WASM == yes ]; then ./ciao-boot.sh fetch ciaowasm ciao_playground exfilter website; fi
           ./ciao-boot.sh configure --instype=local $ARCHOPTS $EXTRAOPTS
           ./ciao-boot.sh build
           ./ciao-boot.sh install