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" ?
_______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
