Btw, in the long run I think probably it would be more elegant to encode the exit code in the script strings, rather than needing to provide a label and then a dict that uses that label. e.g.:
self.compile_default("$tool foo ## label [42]")
But this patch at least fixes the mechanism that was already there.
Btw, in the long run I think probably it would be more elegant to encode the exit code in the script strings, rather than needing to provide a label and then a dict that uses that label. e.g.:
self. compile_ default( "$tool foo ## label [42]")
But this patch at least fixes the mechanism that was already there.