On 2009-08-04 08:23:52 +0200, Paolo Bonzini wrote: > User-specified CFLAGS are always passed last in the Makefiles (at > least for Automake, but it is a good practice in general) so that > the user can override options like -D, -U, -O, -g, -f, -m. > > The specified behavior would make this impossible.
Yes, but this is already non-portable anyway and there are other things that are impossible (such as overriding -I). How about a new way to override options or define a precedence and which could work with other options? -- Vincent Lefèvre <vinc...@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
