Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
build/make/install: At the end, update the repository index
Browse files Browse the repository at this point in the history
  • Loading branch information
Matthias Koeppe committed Sep 8, 2020
1 parent 207d80f commit 2555e19
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions build/make/install
View file
Original file line number Diff line number Diff line change
Expand Up @@ -133,6 +133,11 @@ EOF

fi

# Update simple repository index
if command dir2pi >&/dev/null; then
dir2pi "$SAGE_SPKG_WHEELS" && echo "Updated PEP 503 simple repository index in $SAGE_SPKG_WHEELS/simple"
fi

# Build succeeded.
echo "Sage build/upgrade complete!"

Expand Down

0 comments on commit 2555e19

Please sign in to comment.