diff options
-rw-r--r-- | log.bat | 10 | ||||
-rwxr-xr-x | log.sh | 26 |
2 files changed, 0 insertions, 36 deletions
diff --git a/log.bat b/log.bat deleted file mode 100644 index e5b20e9506..0000000000 --- a/log.bat +++ /dev/null @@ -1,10 +0,0 @@ -#------------------------------------------------------------------------------- -# Copyright (c) 2017, Arm Limited. All rights reserved. -# -# SPDX-License-Identifier: BSD-3-Clause -# -#------------------------------------------------------------------------------- - -@echo off -PATH=%PATH%;C:\cygwin64\bin -bash.exe %~dp0/log.sh %* 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 - |