diff options
-rwxr-xr-x | ci/odl/fetch-charms.sh | 2 | ||||
-rwxr-xr-x | ci/onos/fetch-charms.sh | 2 | ||||
-rwxr-xr-x | ci/opencontrail/fetch-charms.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/ci/odl/fetch-charms.sh b/ci/odl/fetch-charms.sh index 95f92c47..8d29e05c 100755 --- a/ci/odl/fetch-charms.sh +++ b/ci/odl/fetch-charms.sh @@ -1,4 +1,4 @@ -#!/bin/sh -ex +#!/bin/bash -ex distro=$1 mkdir -p $distro diff --git a/ci/onos/fetch-charms.sh b/ci/onos/fetch-charms.sh index af56c403..262e44db 100755 --- a/ci/onos/fetch-charms.sh +++ b/ci/onos/fetch-charms.sh @@ -1,4 +1,4 @@ -#!/bin/sh -ex +#!/bin/bash -ex distro=$1 mkdir -p $distro diff --git a/ci/opencontrail/fetch-charms.sh b/ci/opencontrail/fetch-charms.sh index b6efd316..c46fee21 100755 --- a/ci/opencontrail/fetch-charms.sh +++ b/ci/opencontrail/fetch-charms.sh @@ -1,4 +1,4 @@ -#!/bin/sh -ex +#!/bin/bash -ex distro=$1 mkdir precise |