Gilles Peskine 38d8165865 all.sh: add opposites to all boolean options
All options can now be overridden by a subsequent option, e.g.
"all.sh --foo --no-foo" is equivalent to "all.sh --no-foo". This
allows making wrapper scripts with default options and occasionally
overriding those options when running the wrapper script.
2018-03-21 08:40:26 +01:00
..
2017-07-27 21:44:34 +01:00
2016-01-12 14:48:03 +00:00
2015-04-09 10:53:11 +02:00
2015-08-04 17:46:21 +02:00
2017-05-16 17:53:03 +02:00