projects
/
mit-scheme.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8b305ef
)
dist/shared.sh: Punt plugins now distributed separately.
author
Matt Birkholz
<puck@birchwood-abbey.net>
Wed, 11 May 2016 01:12:43 +0000
(18:12 -0700)
committer
Matt Birkholz
<puck@birchwood-abbey.net>
Sun, 29 May 2016 17:19:20 +0000
(10:19 -0700)
dist/shared.sh
patch
|
blob
|
history
diff --git
a/dist/shared.sh
b/dist/shared.sh
index 59041f7876582345b59ebcf17d3481293be3264b..e3f73488eb839627e3518275e899473bb0289674 100644
(file)
--- a/
dist/shared.sh
+++ b/
dist/shared.sh
@@
-100,7
+100,7
@@
LIARC_OUT=${OUTPUT_DIR}/liarc
NATIVE_OUT=${OUTPUT_DIR}/native
MACOSX_OUT=${OUTPUT_DIR}/macosx
-PLUGINS="blowfish gdbm mcrypt md5 mhash x11 x11-screen
gtk gl
"
+PLUGINS="blowfish gdbm mcrypt md5 mhash x11 x11-screen"
notify ()
{