com. line args not honoured for recompil

[nobody]

I compiled a file with a standard compile and link and some flags, include -fallow-overlapping-isntances. I was interested in whether overlapping instances were really required, so I recompiled -- without modifying the file -- without -fallow-overlapping-instances. I got the "compilation IS NOT required" message, clearly erroneous.

Suggestion: flag configuration / compiler state stored in generated code and checked on recompile.

My email is nalexander@amavi.com.

Thanks, Nick

[simonmar]

Logged In: YES 
user_id=48280

Yes, but (a) make doesn't know that you've changed the 
options, (b) sometimes you want to change options without 
recompiling, eg. adding/removing -O, etc. and (c) it's extra 
work for us to implement :-)

Workaround: use -no-recomp

[simonpj]

I think this is really a bug; although I'm not quite sure when to fix it. It's closely related to #1372.

Rodrigo Queiro [overdrigzed@…] cares about this.

Simon

[igloo]

See also #437.

[simonmar]

I don't think this adds anything over #437