From 6c27c05e64886bfb2133dc70c6f87145eb74fcf5 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Thu, 24 Sep 2020 18:41:51 -0700 Subject: [PATCH] build/make/Makefile.in: Another SPKG-clean -> SPKG-uninstall --- build/make/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/make/Makefile.in b/build/make/Makefile.in index 9fe3958764c..bf6d8437dc4 100644 --- a/build/make/Makefile.in +++ b/build/make/Makefile.in @@ -96,7 +96,7 @@ OPTIONAL_INSTALLED_PACKAGE_INSTS = \ # All previously installed optional packages that are to be uninstalled OPTIONAL_CLEANED_PACKAGES = @SAGE_OPTIONAL_CLEANED_PACKAGES@ -OPTIONAL_CLEANED_PACKAGES_CLEANS = $(OPTIONAL_CLEANED_PACKAGES:%=%-clean) +OPTIONAL_CLEANED_PACKAGES_CLEANS = $(OPTIONAL_CLEANED_PACKAGES:%=%-uninstall) # All packages which should be downloaded SDIST_PACKAGES = @SAGE_SDIST_PACKAGES@