diff options
| author | Michał Muskała <[email protected]> | 2017-08-13 17:42:09 +0200 |
|---|---|---|
| committer | Michał Muskała <[email protected]> | 2017-08-14 14:22:50 +0200 |
| commit | 104c69e2153c41d5fb4eea86d18852d065258083 (patch) | |
| tree | 0a0ffe73ff2641ef2cdd8633f76ea23c9b61e713 /scripts/Dockerfile.64.ubuntu | |
| parent | cf95a4a8b6a0d57423a89465e950beb16c9606a1 (diff) | |
| download | otp-104c69e2153c41d5fb4eea86d18852d065258083.tar.gz otp-104c69e2153c41d5fb4eea86d18852d065258083.tar.bz2 otp-104c69e2153c41d5fb4eea86d18852d065258083.zip | |
Replace labels instead of inserting duplicates in beam_jump
This makes other optimisations more efficient since we have less labels overall.
Diffstat (limited to 'scripts/Dockerfile.64.ubuntu')
0 files changed, 0 insertions, 0 deletions