From e907ec209cf9b3e2f7ef06e0ffd71b9735f1e702 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= <daniel@ekloef.se>
Date: Sat, 4 Sep 2021 18:29:20 +0200
Subject: [PATCH] pgo: pgo.sh: allow a pre-existing build directory

---
 pgo/pgo.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/pgo/pgo.sh b/pgo/pgo.sh
index d608930d..39da2a30 100755
--- a/pgo/pgo.sh
+++ b/pgo/pgo.sh
@@ -14,10 +14,10 @@ srcdir=$(realpath "${2}")
 blddir=$(realpath "${3}")
 shift 3
 
-if [ -e "${blddir}" ]; then
-    echo "error: ${blddir}: build directory already exists"
-    exit 1
-fi
+# if [ -e "${blddir}" ]; then
+#     echo "error: ${blddir}: build directory already exists"
+#     exit 1
+# fi
 
 compiler=other
 do_pgo=no