skip pickle files when running make scan
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 19 Mar 2012 11:28:13 +0000 (12:28 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 19 Mar 2012 11:28:13 +0000 (12:28 +0100)
commitf843c8e5302a8da448de313e6677f89a9b9af60b
treeffd4a31fbb642cd33b9927996df4b9fd9ae87384
parent8ca0e2c3232ddb01c8b0c93dd5bb43efc07f9836
skip pickle files when running make scan
Makefile