diff --git a/hacking/unify_repos.sh b/hacking/unify_repos.sh index dbb5dce8c1..e91a1d14fe 100755 --- a/hacking/unify_repos.sh +++ b/hacking/unify_repos.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -x set -e