We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f8b93c7 commit 91b0b83Copy full SHA for 91b0b83
build/bin/sage-spkg
@@ -704,9 +704,7 @@ unset SAGE_DESTDIR_LOCAL
704
# removed by sage-spkg-uninstall
705
INSTALLED_SCRIPTS_DEST="$SAGE_SPKG_SCRIPTS/$PKG_BASE"
706
707
-if [ -f spkg-requirements.txt ]; then
708
- INSTALLED_SCRIPTS="$INSTALLED_SCRIPTS piprm-requirements.txt"
709
-else
+if [ ! -f $INSTALLED_SCRIPTS_DEST/spkg-requirements.txt ]; then
710
# No packages to uninstall with pip, so remove the prepared uninstall script
711
rm -f spkg-piprm spkg-piprm.in
712
fi
0 commit comments