> John Regehr <reg...@cs.utah.edu> writes: > >> There's something weird going on where the "creduce" file isn't getting >> generated from "creduce.in" after I modify the latter. So I change >> creduce.in, run "make install", and then I just get the old version of the >> file. I can get the newer version if I remove my build directory and run >> cmake again. Might this be related to recent changes?
Anyway, "not an unknown bug." I guess it's not a feature since it's not documented :-/. -- ------------------------------------------------------------------------------- Eric Eide <ee...@cs.utah.edu> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX