From: Carl Worth <cworth@cworth.org>
Date: Thu, 5 Sep 2013 00:05:42 +0000 (-0700)
Subject: Make the three --extensions* options mutually exclusive.
X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=25190a5158256abe6be58bdb2065ed7f6a403fa5;hp=25190a5158256abe6be58bdb2065ed7f6a403fa5;p=glenv

Make the three --extensions* options mutually exclusive.

It's not obvious that the user has thought out what is actually desired
if more than one of these options is specified. So we simply forbid that.
---