diff options
author | Simon Ser <contact@emersion.fr> | 2023-11-02 11:01:08 +0100 |
---|---|---|
committer | Simon Ser <contact@emersion.fr> | 2023-11-02 11:01:08 +0100 |
commit | 26eac25d7f7d25a5bfbeb308aa09de618a1384ef (patch) | |
tree | 8a1769aee15979d75479fde3204b47df2e655d2d | |
parent | dbedcdb418f49090df6e7359e6d3e58c97db1a74 (diff) |
ci: halt on UBSan error in smoke test
By default UBSan prints a message and carries on, which makes it
easy to miss errors.
-rw-r--r-- | .builds/archlinux.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.builds/archlinux.yml b/.builds/archlinux.yml index 26d4a163..3803107d 100644 --- a/.builds/archlinux.yml +++ b/.builds/archlinux.yml @@ -44,5 +44,6 @@ tasks: export WLR_BACKENDS=drm export WLR_RENDERER=pixman export WLR_DRM_DEVICES=/dev/dri/by-path/platform-vkms-card + export UBSAN_OPTIONS=halt_on_error=1 sudo chmod ugo+rw /dev/dri/by-path/platform-vkms-card sudo -E seatd-launch -- ./tinywl -s 'kill $PPID' || [ $? = 143 ] |