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

diff --git a/dist/shared.sh b/dist/shared.sh
index 90ce192f204a7e042f0dd8ef445ac3c73787cc01..cc37be3351eae31aefe9f21eaea2710fe735f92b 100644 (file)
--- 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 ()
 {