| OLD | NEW |
| 1 #!/bin/bash | 1 #!/bin/bash |
| 2 | 2 |
| 3 # Copyright (c) 2012 Google Inc. All rights reserved. | 3 # Copyright (c) 2012 Google Inc. All rights reserved. |
| 4 # Use of this source code is governed by a BSD-style license that can be | 4 # Use of this source code is governed by a BSD-style license that can be |
| 5 # found in the LICENSE file. | 5 # found in the LICENSE file. |
| 6 | 6 |
| 7 OS="$(uname -s)" | 7 OS="$(uname -s)" |
| 8 | 8 |
| 9 if [ "${OS}" = "Linux" ]; then | 9 if [ "${OS}" = "Linux" ]; then |
| 10 exec ninja-linux64 "$@" | 10 exec ninja-linux64 "$@" |
| 11 elif [ "${OS}" = "Darwin" ]; then | 11 elif [ "${OS}" = "Darwin" ]; then |
| 12 exec ninja-mac "$@" | 12 exec ninja-mac "$@" |
| 13 elif [[ ${OS} == CYGWIN* ]]; then | 13 elif [[ ${OS} == CYGWIN* ]]; then |
| 14 exec cmd.exe /c `cygpath -t windows $0`.bat "$@" | 14 exec cmd.exe /c `cygpath -t windows $0`.bat "$@" |
| 15 elif [[ ${OS} == MINGW32* ]]; then |
| 16 cmd.exe //c $0.bat "$@" |
| 15 else | 17 else |
| 16 echo "Unsupported OS ${OS}" | 18 echo "Unsupported OS ${OS}" |
| 17 exit 1 | 19 exit 1 |
| 18 fi | 20 fi |
| 19 | 21 |
| OLD | NEW |