configure: recognize --disable-ub-sanitizer option

There was a typo in the `case` pattern. Now we recognize both forms. Changelog-None
ElementsProject · Sep 25, 2023 · 2d904d3 · 2d904d3
1 parent 376e2f9
commit 2d904d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure b/configure
@@ -281,7 +281,7 @@ for opt in "$@"; do
 	--enable-address-sanitizer) ASAN=1;;
 	--disable-address-sanitizer) ASAN=0;;
 	--enable-ub-sanitizer) UBSAN=1;;
-	--disable-ub-sanitize) UBSAN=0;;
+	--disable-ub-sanitizer|--disable-ub-sanitize) UBSAN=0;;
 	--enable-fuzzing) FUZZING=1;;
 	--disable-fuzzing) FUZZING=0;;
 	--enable-rust) RUST=1;;