Use bash instead of sh.

9 years ago · 86330e0b30
parent 3cebb65f70
commit 86330e0b30
1 changed files with 1 additions and 1 deletions
--- a/ci/deploy_from_travis.sh
+++ b/ci/deploy_from_travis.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -e