tools/: Scripts should use /bin/bash vs. /bin/sh

This commit is contained in:
Gregory Nutt
2016-03-28 18:18:30 -06:00
parent 23142d91fa
commit 751e85eade
5 changed files with 5 additions and 5 deletions
+1 -1
Submodule configs updated: bc630b39f5...d0a45f2a33
+1 -1
View File
@@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
############################################################################
# tools/indent.sh
#
+1 -1
View File
@@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
# mkconfivars.sh
#
# Copyright (C) 2013 Gregory Nutt. All rights reserved.
+1 -1
View File
@@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
# refresh.sh
#
# Copyright (C) 2014 Gregory Nutt. All rights reserved.