Re: make --silent
- From: Nicolas Dufresne <nicolas dufresne collabora co uk>
- To: desktop-devel-list gnome org
- Subject: Re: make --silent
- Date: Sun, 16 Sep 2012 09:21:25 -0400
Le vendredi 14 septembre 2012 à 20:48 -0700, Maciej Piechotka a écrit :
In any case - people who care the most would be the one who have the
most knowledge to just change it locally (say use -s flag).
What about "alias make="make -s V=0" ?
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
