On 06/28/2017 05:58 PM, Jerome Duriez wrote:
Now, it's clear this list is just not perfectly updated (if already existing) at compilation time.
There is simply no list. It goes through the files in lib/.../checks and run them one by one.
In your case removing from source dir did not remove from installed lib dir. Bruno
_______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp
