Skip to content

Commit a838d15

Browse files
committed
Fallback to pwd in case sage_root is not set
1 parent 4bf8174 commit a838d15

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tools/update-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ if [ $# -ne 1 ]; then
2222
fi
2323

2424
if [ -z "$SAGE_ROOT" ]; then
25-
die "must be run from within a Sage environment, or with SAGE_ROOT provided"
25+
SAGE_ROOT="$(pwd)"
2626
fi
2727

2828
if [ -z "$SAGE_SRC" ]; then

0 commit comments

Comments
 (0)