Change Details

If required an exp-run could be useful to make sure I did not break anything.

If required an exp-run could be useful to make sure I did not break anything. The patch does not modify the behavior of many ports having a DEBUG OPTION, bug not respecting WITH_DEBUG. A more complex patch is needed to fix that, but removing WITHOUT_DEBUG is a first small step in the right direction to fix that too.

If required an exp-run could be useful to make sure I did not break anything. The patch does not modify the behavior of many ports having a DEBUG OPTION, bug not respecting WITH_DEBUG. A more complex patch is needed to fix that, but removing WITHOUT_DEBUG is a first small step in the right direction to fix that too.