Tuesday, May 17, 2016

Re: Missing symbols file (pdb) for current gvim windows build (gvim74-1024.exe)

Christian Brabandt wrote:

> On Mo, 16 Mai 2016, Bram Moolenaar wrote:
>
> > 99% of users will never use the file, there is not much point in
> > including it in the installer. It can be made available separately, so
> > that when someone wants to debug the executable that is possible.
>
> Well, it is 16.5 MB vs. 13 MB (that is the 64bit version, the 32bit
> version hasn't built yet). I think users can handle this additional
> amount. (The x86 32bit built will be even larger, since there is a pdb
> file for the console and the gui version).

That's a lot of useless bytes if you have a slow connection.

> I mean, if you don't want that, I am open for suggestions. Where else
> should we put it? It needs to be a place where we can automatically
> deploy to. I could probably put it on my server 256bit.org but I doubt
> this is a very good suggestion.

Can't it be another build artifact?

--
OLD WOMAN: Well, how did you become king, then?
ARTHUR: The Lady of the Lake, her arm clad in the purest shimmering samite,
held Excalibur aloft from the bosom of the water to signify by Divine
Providence ... that I, Arthur, was to carry Excalibur ... That is
why I am your king!
"Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD

/// Bram Moolenaar -- Bram@Moolenaar.net -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///

--
--
You received this message from the "vim_use" 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_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

No comments: