diff options
| -rw-r--r-- | profiles/server/make.defaults | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/profiles/server/make.defaults b/profiles/server/make.defaults index 32083de7..9fb7a05f 100644 --- a/profiles/server/make.defaults +++ b/profiles/server/make.defaults @@ -5,6 +5,9 @@ INSTALL_MASK="/usr/share/gtk-doc" INPUT_DEVICES="void" VIDEO_CARDS="dummy" +# Interpreted languages +USE="${USE} -introspection" + # Network USE="${USE} snmp" |