Merge pull request #28123 from jerith666/post-fix-up

Post fix up
This commit is contained in:
Peter Simons 2017-08-11 09:36:58 +02:00 committed by GitHub
commit 1b30d15369

View file

@ -213,8 +213,8 @@ let
wakeupDefined = options.wakeup.isDefined;
wakeupUCDefined = options.wakeupUnusedComponent.isDefined;
finalValue = toString config.wakeup
+ optionalString (!config.wakeupUnusedComponent) "?";
in if wakeupDefined && wakeupUCDefined then finalValue else "-";
+ optionalString (wakeupUCDefined && !config.wakeupUnusedComponent) "?";
in if wakeupDefined then finalValue else "-";
in [
config.name