diff options
Diffstat (limited to 'log.bat')
-rw-r--r-- | log.bat | 10 |
1 files changed, 0 insertions, 10 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 %* |