Merge pull request #3352 from pleroy/master

Work around a tar bug on MacOS
mockingbirdnest · Apr 28, 2022 · 8461c4e · 8461c4e
2 parents c2d3081 + 9c18c78
commit 8461c4e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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