Ninja is now the default generator.

12 years ago · d5f7207e2e
parent b0da103729
commit d5f7207e2e
1 changed files with 1 additions and 1 deletions
--- 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)