Repair 'bootstrap -D'

sagemath · Feb 25, 2024 · 9112872 · 9112872
1 parent 8c003e0
commit 9112872
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/bootstrap b/bootstrap
@@ -29,10 +29,11 @@ cd "$SAGE_ROOT"
 
 export PATH="$SAGE_ROOT/build/bin:$PATH"
 
-eval $(sage-package properties --format=shell configure)
+properties=$(sage-package properties --format=shell configure) || echo >&2 "Error: looking up version of 'configure' failed"
+eval $properties
 PKG=$path_configure
 MAKE="${MAKE:-make}"
-CONFVERSION=$version_configure
+CONFVERSION=$version_with_patchlevel_configure
 
 
 bootstrap () {