also change the update_ scripts

2015-07-15 15:40:23 +02:00
parent f4a1ca0692
commit ba7acf88ad
3 changed files with 3 additions and 3 deletions
--- a/util/update_theme_repo
+++ b/util/update_theme_repo
@@ -1,4 +1,4 @@
-#!/bin/sh -f
+#!/bin/bash -f


 if [ $# -ne 1 ]; then