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"><<a href=3D"mailto:[email protected]" target=3D"_blan= k">[email protected]</a>></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'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==--