From 072c0b63bcdc687cff9a2c98beb4b1207d8ec4a6 Mon Sep 17 00:00:00 2001
From: Andreas Suter <andreas.suter@psi.ch>
Date: Tue, 3 Jun 2025 12:58:00 +0200
Subject: [PATCH] create src dir if not present. Needed for git-revision.h

---
 src/git_revision.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/git_revision.sh b/src/git_revision.sh
index 51252fb6..827df694 100755
--- a/src/git_revision.sh
+++ b/src/git_revision.sh
@@ -2,6 +2,7 @@
 
 echo "-- Generating header for git hash"
 GIT_HEADER="src/git-revision.h"
+[ -d src ] || mkdir src
 
 GIT_BRANCH=`git rev-parse --abbrev-ref HEAD`