From 4905a37951087eabaa4041a367346a7825926ae6 Mon Sep 17 00:00:00 2001
From: Dennis Guse <dennis.guse@alumni.tu-berlin.de>
Date: Tue, 20 Jan 2026 21:35:27 +0100
Subject: [PATCH] Build scripts: add some error handling.

---
 RELEASE.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/RELEASE.sh b/RELEASE.sh
index ba033460e..2b1e9cb57 100755
--- a/RELEASE.sh
+++ b/RELEASE.sh
@@ -31,8 +31,8 @@ gedit -w "$CHANGELOG_FILE"
 git add "$CHANGELOG_FILE"
 
 echo "Updating build.gradle"
-sed -i s/versionCode\ [0-9]/versionCode\ "$VERSIONID"/g build.gradle
-sed -i s/versionName\ \"v/versionName\ "\"$VERSIONNAME\""/g build.gradle
+sed -i -e "s/versionCode\ [0-9]\{1,\}/versionCode\ $VERSIONID/g" build.gradle
+sed -i -e "s/versionName\ \"v[0-9\.]\{1,\}\"/versionName\ \"$VERSIONNAME\"/g" build.gradle
 
 git diff