diff options
Diffstat (limited to 'log.sh')
-rwxr-xr-x | log.sh | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/log.sh b/log.sh deleted file mode 100755 index 288c0f4625..0000000000 --- a/log.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/bash -#------------------------------------------------------------------------------- -# Copyright (c) 2017, Arm Limited. All rights reserved. -# -# SPDX-License-Identifier: BSD-3-Clause -# -#------------------------------------------------------------------------------- - -if [ ! -e "c:/" ] -then -function cygpath { - readlink -f "$2" -} -fi - -file=`readlink -e ${@:$#:1}` -cmd=`which ${@:1:1}` || cmd=${@:1:1} -cmd=`cygpath -m "$cmd"` -cat <<EOM -{ - "directory": "`cygpath -m "$PWD"`", - "command": "\"$cmd\" ${@:2:(( $#-1 ))}", - "file": "`cygpath -m "$file"`" -}, -EOM - |