From a76f8924d8db87be29f6741fabb44a96c7b1b582 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Dahlgren?= <bjorn@dahlgren.io>
Date: Wed, 17 Aug 2022 13:01:08 +0200
Subject: [PATCH] CI - Use pull request branch pDummies during build (#9003)

---
 .github/workflows/pboproject.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/pboproject.yml b/.github/workflows/pboproject.yml
index dea1394521..7b03e65077 100644
--- a/.github/workflows/pboproject.yml
+++ b/.github/workflows/pboproject.yml
@@ -56,8 +56,10 @@ jobs:
       run: |
         rm -r z\ace\addons\
         rm -r z\ace\optionals\
+        rm -r z\ace\tools\pDummies\
         xcopy /e /h /q pullrequest\addons z\ace\addons\
         xcopy /e /h /q pullrequest\optionals z\ace\optionals\
+        xcopy /e /h /q pullrequest\tools\pDummies z\ace\tools\pDummies\
     - name: Setup build environment
       run: |
         subst P: .