diff options
author | Stephane Glondu <steph@glondu.net> | 2023-10-24 08:27:49 +0200 |
---|---|---|
committer | Stéphane Glondu <glondu@debian.org> | 2024-02-18 11:40:42 +0100 |
commit | f6c9c1b5af63adabc45dcc925dc7c57356c2e43a (patch) | |
tree | 5f65246ad30568955db4ef143474eaadbd364985 | |
parent | 5ea6d917ba230a3b8e628c8696fb85017388e5fa (diff) |
atdgen-cppo and cppo-json use bashisms
Gbp-Pq: Name 0003-atdgen-cppo-and-cppo-json-use-bashisms.patch
-rwxr-xr-x | atdgen-cppo/atdgen-cppo | 2 | ||||
-rwxr-xr-x | 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 "\ |