diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2019-01-08 12:09:41 +1000 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2019-01-08 12:12:51 +1000 |
| commit | ac89de40ef5d4eb1704aa830342a5371413a81dc (patch) | |
| tree | 85c276d1be016242d35827a5700a70feb2d418c1 /pc-bios/palcode-clipper | |
| parent | 29eb5280786832bc46df7a2f62e67bca225eb8ae (diff) | |
pc-bios: Update palcode-clipper
Do not double-update the PC after OPCDEC.
Fixes: https://bugs.launchpad.net/bugs/1810545
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'pc-bios/palcode-clipper')
| -rw-r--r-- | pc-bios/palcode-clipper | bin | 152680 -> 155968 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/pc-bios/palcode-clipper b/pc-bios/palcode-clipper Binary files differindex 1df377a0fd..fb9026ae64 100644 --- a/pc-bios/palcode-clipper +++ b/pc-bios/palcode-clipper |