From d5f7207e2ea2bbeebfdbb08fdfa478ad7ab713db Mon Sep 17 00:00:00 2001
From: Jussi Pakkanen <jpakkane@gmail.com>
Date: Sat, 16 Feb 2013 21:15:15 +0200
Subject: Ninja is now the default generator.

---
 builder.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/builder.py b/builder.py
index 9017be40f..abee33592 100755
--- a/builder.py
+++ b/builder.py
@@ -42,7 +42,7 @@ parser.add_option('--datadir', default='share', dest='datadir',
                   help='relative path to the top of data file subdirectory (default: %default)')
 parser.add_option('--mandir' , default='share/man', dest='mandir',
                   help='relatie path of man files (default: %default)')
-parser.add_option('-G', '--generator', default='shell', dest='generator',
+parser.add_option('-G', '--generator', default='ninja', dest='generator',
                   help='the backend generator to use (default: %default)')
 parser.add_option('--buildtype', default='debug', type='choice', choices=build_types, dest='buildtype',
                   help=buildtype_help)
-- 
cgit v1.2.3