Re: erl -make returns 0 on failure.

Magnus Henoch <[email protected]> Mon, 26 Oct 2015 15:57:19 +0000
Newsgroups gmane.comp.lang.erlang.bugs
Message-ID <CAJ67tHokW7o0fGE20JtHtnF-LEA58HreWoFc1gGcErO_Zq+A3Q@mail.gmail.com>
--===============6988465454847191165==
Content-Type: multipart/alternative; boundary=001a11405de2216489052304047b

--001a11405de2216489052304047b
Content-Type: text/plain; charset=UTF-8

On Mon, Oct 26, 2015 at 11:28 AM, Magnus Henoch <[email protected]
> wrote:

> I posted a patch for that a while ago:
>
> http://erlang.org/pipermail/erlang-patches/2009-March/000390.html
>
> I got neither positive nor negative responses to it, so I'm not sure what
> the general opinion is on this. If anyone feels like it, feel free to try
> resubmitting the patch as a pull request.
>

Well, I just did it myself. Here it is:
https://github.com/erlang/otp/pull/872

Regards,
Magnus

--001a11405de2216489052304047b
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">On Mon, Oct 26, 2015 at 11:28 AM, Magnus Henoch <span dir=
=3D"ltr">&lt;<a href=3D"mailto:[email protected]" target=3D"_blan=
k">[email protected]</a>&gt;</span> wrote:<br><div class=3D"gmail=
_extra"><div class=3D"gmail_quote"><blockquote class=3D"gmail_quote" style=
=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding=
-left:1ex"><div dir=3D"ltr"><div><div><div>I posted a patch for that a whil=
e ago:<br><br><a href=3D"http://erlang.org/pipermail/erlang-patches/2009-Ma=
rch/000390.html" target=3D"_blank">http://erlang.org/pipermail/erlang-patch=
es/2009-March/000390.html</a><br><br></div>I got neither positive nor negat=
ive responses to it, so I&#39;m not sure what the general opinion is on thi=
s. If anyone feels like it, feel free to try resubmitting the patch as a pu=
ll request.<br></div></div></div></blockquote><div><br></div><div>Well, I j=
ust did it myself. Here it is: <a href=3D"https://github.com/erlang/otp/pul=
l/872">https://github.com/erlang/otp/pull/872</a><br><br></div><div>Regards=
,<br></div><div>Magnus <br></div></div></div></div>

--001a11405de2216489052304047b--

--===============6988465454847191165==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs

--===============6988465454847191165==--