From 67300969c1e49167cec75df92484990173a2b8d5 Mon Sep 17 00:00:00 2001
From: Mechiel Lukkien <mechiel@ueber.net>
Date: Sun, 11 Feb 2024 21:46:45 +0100
Subject: [PATCH] don't use bash if not needed

from mteege
---
 gents.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gents.sh b/gents.sh
index 75ff89c..5afc322 100755
--- a/gents.sh
+++ b/gents.sh
@@ -1,5 +1,5 @@
-#!/usr/bin/env bash
-set -euo pipefail
+#!/bin/sh
+set -eu
 
 # generate new typescript client, only install it when it is different, so we
 # don't trigger frontend builds needlessly.