diff options
author | Luboš Luňák <l.lunak@collabora.com> | 2021-11-23 19:09:43 +0100 |
---|---|---|
committer | Luboš Luňák <l.lunak@collabora.com> | 2021-11-23 23:40:11 +0100 |
commit | ed9eff7d91dcf7ffb87906422be61606e3117fae (patch) | |
tree | b97946495cde1126f140a3d93c5fd43c7f0151a6 /uui/Makefile | |
parent | 990d32dad6bdf5d92a14d8bc02ae2853facd9097 (diff) |
short-circut SC_AND lookup if left side is known to be false
Change-Id: Ia1badb975f4effca668a5c2a41cfef3beccf8e2b
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/125739
Tested-by: Jenkins
Reviewed-by: Luboš Luňák <l.lunak@collabora.com>
Diffstat (limited to 'uui/Makefile')
0 files changed, 0 insertions, 0 deletions