From e6dd3ba3fea781bece17b5b5588582ec35eee5f1 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 5 Sep 2023 17:03:13 +0200
Subject: [PATCH] remove needless dependency over bash

---
 framaCIRGen_src/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/framaCIRGen_src/build.sh b/framaCIRGen_src/build.sh
index cdd9fcd0..103d6f9c 100755
--- a/framaCIRGen_src/build.sh
+++ b/framaCIRGen_src/build.sh
@@ -1,4 +1,4 @@
-#! /usr/bin/bash
+#! /bin/sh
 ##########################################################################
 #                                                                        #
 #  This file is part of Frama-Clang                                      #
-- 
GitLab