From 6f4659842aeb2aec4ed7cbf3a67828855502dae6 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Thu, 12 Dec 2019 23:58:46 -0700
Subject: [PATCH] debian/prerm: Simplify; use global delete-plugin-list
 binding.

---
 debian/prerm | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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
 
-- 
2.25.1