Re: [creduce-dev] cmake bug?

[Eric Eide <eeide@cs.utah.edu>]

> John Regehr <regehr@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 <eeide@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