Raymond Toy pushed to branch rtoy-debug-ci-2025-07 at cmucl / cmucl

Commits:

• 9ab06424
  by Raymond Toy at 2025-07-11T08:13:17-07:00

  Make dist tarballs after building
  

• 72877169
  by Raymond Toy at 2025-07-11T08:13:17-07:00

  Merge branch 'rtoy-ci-make-dist-tarballs' into 'master'
  
  Make dist tarballs after building
  
  See merge request cmucl/cmucl!308

• 3a2cc37d
  by Raymond Toy at 2025-07-11T13:27:46-07:00

  Merge branch 'master' into rtoy-debug-ci-2025-07
  

• 982955a3
  by Raymond Toy at 2025-07-11T14:44:01-07:00

  Print error message and exit with DEFAULT_VERSION not set
  
  If we can't determine a version name for DEFAULT_VERSION, print an
  error message and quit (with an error).
  

1 changed file:

• bin/git-version.sh

Changes:

 	# The git hash looks like a release which is 3 hex digits.  Use it as is.

 	DEFAULT_VERSION="${GIT_HASH}"

     fi

+

+    if [ -z "$DEFAULT_VERSION" ]; then

+	echo "Unable to determine a default version from hash $GIT_HASH"

+	exit 1;

+    fi

 fi

 if [ -z "$FILE" ]; then