| 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 |