From ef9f2226261aabb1e9df002017ee1f6a45d83153 Mon Sep 17 00:00:00 2001
From: EnumDev <enumdev@enumerated.dev>
Date: Sat, 16 Aug 2025 22:31:41 +0300
Subject: [PATCH] Add check-version.sh script

---
 check-version.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 check-version.sh

diff --git a/check-version.sh b/check-version.sh
new file mode 100644
index 0000000..31c17a1
--- /dev/null
+++ b/check-version.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+URL="https://www.gnu.org/software/dejagnu/"
+
+# Get version number from tag name
+VERSION=$(curl -s -L "$URL" | grep 'The current version of DejaGnu is ' | grep -o -E '([0-9]*\.[0-9]*)\.[0-9]*')
+
+echo "$VERSION"