Commits on Feb 24, 2023

1. gcc: fix implication order in assertion …

   In 6812dd9 I mistakenly had the
   implication order reversed.  This commit corrects that mistake.
   
   The original assertion (which is correct) was the following, which
   asserts that if you enable the GDB plugin, you must enable plugins
   generally (there is shared infrastructure):
   
   ```
   assert enableGdbPlugin -> enablePlugin;
   ```
   
   When the option name was changed to `disableGdbPlugin`, I
   incorrectly wrote:
   
   ```
   assert disableGdbPlugin -> enablePlugin;
   ```
   
   And then again incorrectly wrote:
   
   ```
   assert disableGdbPlugin -> !enablePlugin;
   ```
   
   This commit uses the correct equivalent for the first statement,
   which is the contrapositive:
   
   ```
   assert !enablePlugin -> disableGdbPlugin;
   ```

   Adam Joseph committed Feb 24, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 86a0e46
   • Browse repository at this point

   Copy the full SHA

   86a0e46 View commit details

   Browse the repository at this point in the history