From 751e85eadea2bf03852bfbd03f63d6fa4f778257 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Mon, 28 Mar 2016 18:18:30 -0600 Subject: [PATCH] tools/: Scripts should use /bin/bash vs. /bin/sh --- Documentation | 2 +- configs | 2 +- tools/indent.sh | 2 +- tools/mkconfigvars.sh | 2 +- tools/refresh.sh | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Documentation b/Documentation index 6e43c1ef42..726970e8fa 160000 --- a/Documentation +++ b/Documentation @@ -1 +1 @@ -Subproject commit 6e43c1ef42c8204d18610771482e460f24034c69 +Subproject commit 726970e8fa94aadffec255ba1f3bfd2267d26e1c diff --git a/configs b/configs index bc630b39f5..d0a45f2a33 160000 --- a/configs +++ b/configs @@ -1 +1 @@ -Subproject commit bc630b39f5dc935b40397b72a14e4f729afa3e08 +Subproject commit d0a45f2a33120a09391bba3f5e04379f3f6d9808 diff --git a/tools/indent.sh b/tools/indent.sh index 10bffdd60f..4174fd5e4f 100755 --- a/tools/indent.sh +++ b/tools/indent.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ############################################################################ # tools/indent.sh # diff --git a/tools/mkconfigvars.sh b/tools/mkconfigvars.sh index b2101d3b00..1424bb7f6d 100755 --- a/tools/mkconfigvars.sh +++ b/tools/mkconfigvars.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # mkconfivars.sh # # Copyright (C) 2013 Gregory Nutt. All rights reserved. diff --git a/tools/refresh.sh b/tools/refresh.sh index 01df311b60..a38eadaffd 100755 --- a/tools/refresh.sh +++ b/tools/refresh.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # refresh.sh # # Copyright (C) 2014 Gregory Nutt. All rights reserved.