From b1c03861cd2faae597c36de73b068519c328a634 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= <daniel@ekloef.se>
Date: Wed, 6 Oct 2021 20:10:58 +0200
Subject: [PATCH] pgo: verify source dir really is a foot source dir before
 proceeding

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

diff --git a/pgo/pgo.sh b/pgo/pgo.sh
index 57a016cc..b2ce7fe5 100755
--- a/pgo/pgo.sh
+++ b/pgo/pgo.sh
@@ -19,6 +19,11 @@ shift 3
 #     exit 1
 # fi
 
+if [ ! -f "${srcdir}"/generate-version.sh ]; then
+   echo "error: ${srcdir}: does not appear to be a foot source directory"
+   exit 1
+fi
+
 compiler=other
 do_pgo=no