From cad7485914c78d9af540f1120caaa9700f834405 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 17 Feb 2022 15:05:26 +0100
Subject: [PATCH] [Eva] Fixes the gen-api script on macOS.

---
 src/plugins/value/gen-api.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/plugins/value/gen-api.sh b/src/plugins/value/gen-api.sh
index fa37740dc39..d00c16fdd4a 100755
--- a/src/plugins/value/gen-api.sh
+++ b/src/plugins/value/gen-api.sh
@@ -1,4 +1,5 @@
-#!/bin/bash -eu
+#!/usr/bin/env bash
+set -eu
 
 printf '(** Eva public API.
 
-- 
GitLab