From 320ce3dd56653cc3551eab00f6d05a436dc99eed Mon Sep 17 00:00:00 2001
From: =?utf8?q?Niels=20M=C3=B6ller?= <nisse@lysator.liu.se>
Date: Mon, 2 Oct 2023 18:19:10 +0200
Subject: [PATCH] Explicitly pass qemu-ppc64 as EMULATOR.

---
 .gitlab-ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7ab0b161..99818c98 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -219,8 +219,8 @@ remote/s390x:
   - ./.bootstrap
   - ./configure --disable-documentation $EXTRA_CONFIGURE_ARGS --build=$build --host=$host
   - make -j$(nproc)
-  - NETTLE_TEST_SEED=0 make -j$(nproc) check
-  - NETTLE_TEST_SEED=0 make -j$(nproc) check-fat
+  - NETTLE_TEST_SEED=0 make EMULATOR=$(EMULATOR) -j$(nproc) check
+  - NETTLE_TEST_SEED=0 make EMULATOR=$(EMULATOR) -j$(nproc) check-fat
   tags:
   - shared
   - linux
@@ -239,6 +239,7 @@ cross/powerpc64-linux-gnu:
   extends: .cross-build
   variables:
     QEMU_LD_PREFIX: /usr/powerpc64-linux-gnu
+    EMULATOR: qemu-ppc64
 
 cross/powerpc64le-linux-gnu:
   extends: .cross-build
-- 
2.47.2