[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #33138] .PARLLELSYNC enhancement with patch
From: |
Eli Zaretskii |
Subject: |
Re: [bug #33138] .PARLLELSYNC enhancement with patch |
Date: |
Sun, 28 Apr 2013 20:02:37 +0300 |
> Date: Sun, 28 Apr 2013 10:22:40 -0400
> From: David Boyce <address@hidden>
> Cc: Frank Heckenbach <address@hidden>, Eli Zaretskii <address@hidden>,
> bug-make <address@hidden>
>
> So I'd argue for:
>
> -O line (new)
> -O job (current -O target)
> -O make
Agree about "line" (assuming I understood what it means), but disagree
about renaming "target": it is quite clear what it means. By
contrast, "make" is not so clear; perhaps we should rename it
"makefile" or something.
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, (continued)
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Frank Heckenbach, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Frank Heckenbach, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Frank Heckenbach, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/28
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, David Boyce, 2013/04/28
- Re: [bug #33138] .PARLLELSYNC enhancement with patch,
Eli Zaretskii <=
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/28
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/28
- Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Paul Smith, 2013/04/28
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Eli Zaretskii, 2013/04/28
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Tim Murphy, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Eli Zaretskii, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Tim Murphy, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Eli Zaretskii, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Tim Murphy, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Philip Guenther, 2013/04/29