From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Fri, 19 May 2017 16:18:54 +0000 (-0700)
Subject: dist/shared.sh: Add devops plugin to the list.
X-Git-Tag: mit-scheme-pucked-9.2.12~128
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=6222a3edc924d1dfd5f95961f923bcc58f2b0d2b;p=mit-scheme.git

dist/shared.sh: Add devops plugin to the list.
---

diff --git a/dist/shared.sh b/dist/shared.sh
index 90ce192f2..cc37be335 100644
--- a/dist/shared.sh
+++ b/dist/shared.sh
@@ -102,7 +102,7 @@ MACOSX_OUT=${OUTPUT_DIR}/macosx
 
 PLUGINS="blowfish edwin gdbm imail mcrypt md5 mhash x11 x11-screen"
 PLUGINS="$PLUGINS berkeley-db pgsql"
-PLUGINS="$PLUGINS cairo gl glib gtk gtk-screen pango planetarium"
+PLUGINS="$PLUGINS cairo gl glib gtk gtk-screen pango planetarium devops"
 
 notify ()
 {