[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12450: Remove configure's --without-sync-input option.
From: |
Paul Eggert |
Subject: |
bug#12450: Remove configure's --without-sync-input option. |
Date: |
Sat, 15 Sep 2012 13:31:12 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:15.0) Gecko/20120827 Thunderbird/15.0 |
On 09/15/2012 01:15 PM, Eli Zaretskii wrote:
> I tried your patches already, they compile, and the resulting binary
> seems to work.
Excellent! Thanks for trying it out.
> what does that prove?
It doesn't *prove* anything -- there are no *proofs* of any
nontrivial Emacs code, to my knowledge -- but it's a good indication
that this change is benign for the Microsoft port. That is what I'd
expect from my admittedly-limited understanding of the Microsoft port,
for reasons already discussed.
The change is a real win for the mainline code, so this is
a good sign. Thanks again for checking it.
- bug#12450: Remove configure's --without-sync-input option., Paul Eggert, 2012/09/15
- bug#12450: Remove configure's --without-sync-input option., Eli Zaretskii, 2012/09/15
- bug#12450: Remove configure's --without-sync-input option., Paul Eggert, 2012/09/15
- bug#12450: Remove configure's --without-sync-input option., Eli Zaretskii, 2012/09/16
- bug#12450: Remove configure's --without-sync-input option., Paul Eggert, 2012/09/16
- bug#12450: Remove configure's --without-sync-input option., Eli Zaretskii, 2012/09/16
- bug#12450: Remove configure's --without-sync-input option., Paul Eggert, 2012/09/16
- bug#12450: Remove configure's --without-sync-input option., Eli Zaretskii, 2012/09/16
- bug#12450: Remove configure's --without-sync-input option., Eli Zaretskii, 2012/09/16
- bug#12450: Remove configure's --without-sync-input option., Paul Eggert, 2012/09/16
- bug#12450: Remove configure's --without-sync-input option., Eli Zaretskii, 2012/09/16
- bug#12450: Remove configure's --without-sync-input option., Stefan Monnier, 2012/09/15
- bug#12450: Remove configure's --without-sync-input option., Eli Zaretskii, 2012/09/16