From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Fri, 13 Dec 2019 06:58:46 +0000 (-0700)
Subject: debian/prerm: Simplify; use global delete-plugin-list binding.
X-Git-Tag: mit-scheme-pucked-10.1.20~6
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=6f4659842aeb2aec4ed7cbf3a67828855502dae6;p=mit-scheme.git

debian/prerm: Simplify; use global delete-plugin-list binding.
---

diff --git a/debian/prerm b/debian/prerm
index 5ea7bc6d3..10f946132 100755
--- a/debian/prerm
+++ b/debian/prerm
@@ -4,10 +4,7 @@ set -e
 
 case "$1" in
   remove)
-    ( echo "(parameterize ((param:suppress-loading-message? #t))"
-      echo "  (load-option 'ffi)"
-      echo "  ((access delete-plugin-list (->environment '(ffi build)))))" ) \
-    | /usr/bin/mit-scheme-pucked --batch-mode
+    ( echo "(delete-plugin-list)" ) | /usr/bin/mit-scheme-pucked --batch-mode
   ;;
 esac