1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 24 Oct 2023 08:27:49 +0200
Subject: atdgen-cppo and cppo-json use bashisms
---
atdgen-cppo/atdgen-cppo | 2 +-
atdgen-cppo/cppo-json | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/atdgen-cppo/atdgen-cppo b/atdgen-cppo/atdgen-cppo
index 808f76e..19783fd 100755
--- a/atdgen-cppo/atdgen-cppo
+++ b/atdgen-cppo/atdgen-cppo
@@ -1,4 +1,4 @@
-#! /bin/sh -e
+#! /bin/bash -e
version=1.0.0
self="$0"
diff --git a/atdgen-cppo/cppo-json b/atdgen-cppo/cppo-json
index c2b54d4..a9fc5c7 100755
--- a/atdgen-cppo/cppo-json
+++ b/atdgen-cppo/cppo-json
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
usage () {
echo "\
|
