Windows dispatcher script

alire-project · Jun 12, 2024 · 87e0089 · 87e0089
1 parent 0882cc4
commit 87e0089
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 2 deletions.
diff --git a/scripts/ci-github.sh b/scripts/ci-github.sh
@@ -13,6 +13,11 @@ pushd "$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
     . ../dev/functions.sh
 popd
 
+# Mark location safe to assuage git if necessary (happens in some distros)
+if "$(git status 2>&1)" | grep -q "dubious ownership"; then
+    git config --add safe.directory "$PWD"
+fi
+
 # Patch version
 scripts/version-patcher.sh
 

diff --git a/scripts/version-patcher.ps b/scripts/version-patcher.ps
diff --git a/scripts/version-patcher.sh b/scripts/version-patcher.sh
@@ -19,4 +19,7 @@ else
     exit 0
 fi
 
-$bin "$@"
+$bin "$@"
+
+echo "Resulting version file:"
+cat src/alire/alire-version.ads
diff --git a/src/alire/alire-version.ads b/src/alire/alire-version.ads
@@ -16,7 +16,7 @@ private
    --  be replaced by `alr build` with the current commit, and appended with
    --  "_or_later" after build.
 
-   Current_Str : constant String := "2.1-dev+3ab04c93_dirty";
+   Current_Str : constant String := "2.1-dev+204eb4e4_dirty";
    --  2.0.0:     alr settings refactor and minor fixes
    --  2.0.0-rc1: release candidate for 2.0
    --  2.0.0-b1:  first public release on the 2.0 branch