Closed UnixJunkie closed 10 years ago
Is it really important by the way, will it affect performance?
All these issues seem related to the change in the makefile accepted in f245a8854850df799362af8b22d4341680efcb01
You may try to revert it and see what happens.
On Thu, May 15, 2014 at 12:01:31AM -0700, Francois Berenger wrote:
How can I correct this warning?
— Reply to this email directly or view it on GitHub.*
Roberto Di Cosmo
Professeur En delegation a l'INRIA
PPS E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW : http://www.dicosmo.org
Case 7014 Tel : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo
Attachments: MIME accepted, Word deprecated
Office location:
Bureau 3020 (3rd floor) Batiment Sophie Germain Avenue de France
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
Closing this for now
How can I correct this warning?