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`.exe "$@" |
15 elif [[ ${OS} == MINGW32* ]]; then | 15 elif [[ ${OS} == MINGW32* ]]; then |
16 cmd.exe //c $0.bat "$@" | 16 cmd.exe //c $0.exe "$@" |
17 else | 17 else |
18 echo "Unsupported OS ${OS}" | 18 echo "Unsupported OS ${OS}" |
19 exit 1 | 19 exit 1 |
20 fi | 20 fi |
21 | 21 |
OLD | NEW |