diff options
Diffstat (limited to 'src/jsifier.js')
| -rw-r--r-- | src/jsifier.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/jsifier.js b/src/jsifier.js index b06b4334..1f4ab7f8 100644 --- a/src/jsifier.js +++ b/src/jsifier.js @@ -760,6 +760,9 @@ function JSify(data, functionsOnly, givenFunctions) { var labelSetting = oldLabel ? '__label__ = ' + getLabelId(oldLabel) + ';' + (SHOW_LABELS ? ' /* to: ' + cleanLabel(oldLabel) + ' */' : '') : ''; // TODO: optimize away the setting if (label[1] == 'R') { + if (label[2] == 'N') { // BRNOL: break, no label setting + labelSetting = ''; + } return pre + labelSetting + 'break ' + trueLabel + ';'; } else if (label[1] == 'C') { // CONT return pre + labelSetting + 'continue ' + trueLabel + ';'; |