Change shebang of CI scripts

This commit is contained in:
Florian Zaruba 2018-02-06 13:08:54 +01:00
parent d689886645
commit a94a96fa75
No known key found for this signature in database
GPG key ID: E742FFE8EC38A792
5 changed files with 5 additions and 5 deletions

View file

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -e
ROOT=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)
cd $ROOT/tmp

View file

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -e
ROOT=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)
cd $ROOT/tmp

View file

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -e
ROOT=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)
cd $ROOT/tmp

View file

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -e
ROOT=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)
cd $ROOT/tmp

View file

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -e
cd "$(dirname "${BASH_SOURCE[0]}")/.."
[ -d tmp ] || rm -rf tmp