← Back to branch summary

~widelands-dev/widelands/trunk

« back to all changes in this revision

Viewing changes to compile.sh

  • Committer: Hans Joachim Desserud
  • Date: 2014-07-18 16:04:09 UTC
  • mto: This revision was merged to the branch mainline in revision 7142.
  • Revision ID: hans_joachim_desserud-20140718160409-1yh0e3r12nuz6ujb
Make check whether ninja is installed work properly

Show diffs side-by-side

added added

removed removed

Lines of Context:
compile.sh
56
56
 
57
57
  set_buildtool () {
58
58
    #If ninja is not found, use make instead
59
 
    if [ -e `command -v ninja` ] ; then
 
59
    if [ `command -v ninja` ] ; then
60
60
      buildtool="ninja"
61
61
    #TODO(code review): hopefully ninja has the same executable name across the board...
62
62
    #I'll doublecheck this, but the ninja binary might be called ninja-build on some systems