using flavour=void, the sfa-standalone step can check more stuff
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 May 2012 14:44:36 +0000 (16:44 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 May 2012 14:44:36 +0000 (16:44 +0200)
commit8af654215fd0aed0f6e0385dc7b0c97dc11bbc26
tree3f0236b004498f09b0425984e2ee87fd55a9a64d
parent3546376d221cf58aa1783958e0fb1b4d349ecb2c
using flavour=void, the sfa-standalone step can check more stuff
system/macros.py