Looks great help on the way!! Christian, many thanks to you for taking your time on that.
I'd be more than happy if the community would approve his proposal. Best regards, Kazunobu 2016-07-30 17:06 GMT+09:00 Christian Brabandt <[email protected]>: > This patch adds Mac OSX builds to Travis CI. > > The build looks like this: > https://travis-ci.org/chrisbra/vim/builds/148499300 > > To prevent, that this runs too long, (because simply adding an OS X > build would add 10 new jobs (2*compiler + 5*environment builds). > > So I changed the matrix, to run all 5 environment builds on linux gcc, > only 3 on linux clang (not running BUILD=no ... CHECK_AUTOCONF=yes and > FEATURES=small), and 2*2 for OS X (FEATURES=tiny and FEATURES=huge one > per compiler). > > Also apparently, python 3 either does not work or is not installed on > travis CI for Mac OSX so I removed the python3 configure flag for the > huge build. > > Total test time was about 33minutes and this was only, because I had to > restart one build, which did stall for some reason, so it might be even > less. > > Best, > Christian > -- > Die höchste Absicht der Kunst ist, menschliche Formen zeigen, > so sinnlich bedeutend und so schön, als es möglich ist. > -- Goethe, Maximen und Reflektionen, Nr. 1353 > > -- > -- > You received this message from the "vim_dev" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit http://www.vim.org/maillist.php > > --- > You received this message because you are subscribed to the Google Groups > "vim_dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
