Changeset 4653242 for git-version.sh

Timestamp:

01/25/2023 02:12:13 AM (15 months ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

11.3, 12.0, 12.1, kea, ken/TL2024, ken/inkscape-core-mods, ken/tuningfonts, lazarus, lxqt, plabs/newcss, python3.11, qt5new, rahul/power-profiles-daemon, renodr/vulkan-addition, trunk, xry111/llvm18, xry111/xf86-video-removal

Children:

e3047fd

Parents:

05d5b11

Message:

git-version: Don't dump revision if no "important files" are changed

If an important file is changed, we regenerate version.ent and so bump
the revision. Otherwise, version.ent may be kept. Hack git-version.sh
so we can ensure version.ent is really not changed.

Add Makefile itself and git-version.sh into the important file list as
they can definitely affect book rendering.

File:

• git-version.sh (modified) (3 diffs)

git-version.sh

@@ -11 +11 @@
     exit 1
 fi
+
+shift 1
 
 echo "<!ENTITY % sysv    \"$SYSV\">"     >  conditional.ent
@@ -28 +30 @@
 export TZ=America/Chicago
 
-commit_date=$(git show -s --format=format:"%cd" --date=local)
+sha=$(git log -s --format=format:"%H" --date=local -1 $*)
+commit_date=$(git log -s --format=format:"%cd" --date=local -1 $*)
 short_date=$(date --date "$commit_date" "+%Y-%m-%d")
 
@@ -45 +48 @@
 full_date="$month $day$suffix, $year"
 
-sha="$(git describe --abbrev=1)"
+sha="$(git describe --abbrev=1 $sha)"
 version=$(echo "$sha" | sed 's/-g[^-]*$//')
-
-if [ "$(git diff HEAD | wc -l)" != "0" ]; then
-    version="$version+"
-fi
 
 echo "<!ENTITY year              \"$year\">"               >  version.ent