From 097809de421ac0d7c5ccd8ac7a73491d01fa8191 Mon Sep 17 00:00:00 2001
From: Michael Norrish <michael.norrish@anu.edu.au>
Date: Thu, 5 Oct 2023 10:29:25 +1100
Subject: [PATCH] Build all of examples/lambda at selftest level 1

Tweak src/parallel_builds/core/Holmakefile to just target
examples/lambda which now has a top-level Holmakefile itself that
points to the various sub-directories.
---
 src/parallel_builds/core/Holmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parallel_builds/core/Holmakefile b/src/parallel_builds/core/Holmakefile
index 050fa29f2c..6dd969fef3 100644
--- a/src/parallel_builds/core/Holmakefile
+++ b/src/parallel_builds/core/Holmakefile
@@ -39,7 +39,7 @@ EXDIRS = arm/arm6-verification arm/armv8-memory-model arm/experimental \
          hardware hfs \
          imperative ind_def \
          l3-machine-code/common \
-         lambda/barendregt lambda/wcbv-reasonable \
+         lambda \
 #         lassie \
          logic logic/folcompactness logic/modal-models logic/modal-tableaux \
          logic/ncfolproofs logic/propositional_logic logic/relevant-logic \