CI: improve sanitizer runs; minor cleanups.

[tinc] / .ci / conf.sh

diff --git a/.ci/conf.sh b/.ci/conf.sh
index ab50277..d075aba 100644 (file)
--- a/.ci/conf.sh
+++ b/.ci/conf.sh
@@ -32,7 +32,7 @@ conf_linux() {
   if [ -n "${HOST:-}" ]; then
     case "$HOST" in
     armhf) triplet=arm-linux-gnueabihf ;;
-    mips) triplet=mips-linux-gnu ;;
+    mipsel) triplet=mipsel-linux-gnu ;;
     *) exit 1 ;;
     esac