From 9c18c7889d2efd388c0607a67948366eb6facbcb Mon Sep 17 00:00:00 2001
From: pleroy <pascal.h.leroy@gmail.com>
Date: Thu, 28 Apr 2022 13:32:08 +0200
Subject: [PATCH] Work around a tar bug on MacOS.

---
 principia_make.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/principia_make.sh b/principia_make.sh
index dd8dc1c521..d319648148 100644
--- a/principia_make.sh
+++ b/principia_make.sh
@@ -22,4 +22,9 @@ elif [ "${AGENT_OS?}" == "Linux" ]; then
 fi
 
 make test
+if [ "${AGENT_OS?}" == "Darwin" ]; then
+  # See https://github.com/actions/virtual-environments/issues/2619#issuecomment-788397841
+  # for why this is needed.
+  sudo /usr/sbin/purge
+fi
 make release