diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/bin/RemoveDirFromPath.sh | 2 | ||||
| -rwxr-xr-x | tools/bin/backport-commit.sh | 2 | ||||
| -rwxr-xr-x | tools/bin/backport-merge-and-commit.sh | 2 | ||||
| -rwxr-xr-x | tools/bin/backport-merge.sh | 2 | ||||
| -rwxr-xr-x | tools/bin/common-gen-workspace.inc.sh | 2 | ||||
| -rwxr-xr-x | tools/bin/gen-slickedit-workspace.sh | 2 | ||||
| -rwxr-xr-x | tools/bin/gen-vscode-workspace.sh | 2 | ||||
| -rwxr-xr-x | tools/bin/retry.sh | 2 |
8 files changed, 8 insertions, 8 deletions
diff --git a/tools/bin/RemoveDirFromPath.sh b/tools/bin/RemoveDirFromPath.sh index 6175d91aa32..9fe6873065c 100755 --- a/tools/bin/RemoveDirFromPath.sh +++ b/tools/bin/RemoveDirFromPath.sh @@ -1,4 +1,4 @@ -# !kmk_ash +#!/usr/bin/env kmk_ash # $Id$ ## @file # Shell (bash + kmk_ash) function for removing a directory from the PATH. diff --git a/tools/bin/backport-commit.sh b/tools/bin/backport-commit.sh index ecec98f269a..fd661c1d436 100755 --- a/tools/bin/backport-commit.sh +++ b/tools/bin/backport-commit.sh @@ -1,4 +1,4 @@ -# !kmk_ash +#!/usr/bin/env kmk_ash # $Id$ ## @file # Script for committing a backport from trunk. diff --git a/tools/bin/backport-merge-and-commit.sh b/tools/bin/backport-merge-and-commit.sh index 6f0af8b1fb0..0b3b37b12ae 100755 --- a/tools/bin/backport-merge-and-commit.sh +++ b/tools/bin/backport-merge-and-commit.sh @@ -1,4 +1,4 @@ -# !kmk_ash +#!/usr/bin/env kmk_ash # $Id$ ## @file # Script for merging and commit a backport from trunk. diff --git a/tools/bin/backport-merge.sh b/tools/bin/backport-merge.sh index 074a3a1f3d9..84379daf836 100755 --- a/tools/bin/backport-merge.sh +++ b/tools/bin/backport-merge.sh @@ -1,4 +1,4 @@ -# !kmk_ash +#!/usr/bin/env kmk_ash # $Id$ ## @file # Script for merging a backport from trunk. diff --git a/tools/bin/common-gen-workspace.inc.sh b/tools/bin/common-gen-workspace.inc.sh index b99b2e9fb8b..ca123928d00 100755 --- a/tools/bin/common-gen-workspace.inc.sh +++ b/tools/bin/common-gen-workspace.inc.sh @@ -1,4 +1,4 @@ -# !kmk_ash +#!/usr/bin/env kmk_ash # $Id$ ## @file # Script for generating a SlickEdit workspace. diff --git a/tools/bin/gen-slickedit-workspace.sh b/tools/bin/gen-slickedit-workspace.sh index f52d1ce8335..a0a4355b496 100755 --- a/tools/bin/gen-slickedit-workspace.sh +++ b/tools/bin/gen-slickedit-workspace.sh @@ -1,4 +1,4 @@ -# !kmk_ash +#!/usr/bin/env kmk_ash # $Id$ ## @file # Script for generating a SlickEdit workspace. diff --git a/tools/bin/gen-vscode-workspace.sh b/tools/bin/gen-vscode-workspace.sh index 5f61c4451d3..6cc5b146f06 100755 --- a/tools/bin/gen-vscode-workspace.sh +++ b/tools/bin/gen-vscode-workspace.sh @@ -1,4 +1,4 @@ -# !kmk_ash +#!/usr/bin/env kmk_ash # $Id$ ## @file # Script for generating a Visual Studio Code (vscode) workspace. diff --git a/tools/bin/retry.sh b/tools/bin/retry.sh index d4fc642c98c..7057df81142 100755 --- a/tools/bin/retry.sh +++ b/tools/bin/retry.sh @@ -1,4 +1,4 @@ -# !kmk_ash +#!/usr/bin/env kmk_ash # $Id$ ## @file # Script for retrying a command 5 times. |