diff options
Diffstat (limited to 'tools/bin/RemoveDirFromPath.sh')
-rwxr-xr-x | tools/bin/RemoveDirFromPath.sh | 2 |
1 files changed, 1 insertions, 1 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. |