tweak for syncing onto f12 or other arch flavours
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 14 Oct 2010 15:09:54 +0000 (17:09 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 14 Oct 2010 15:09:54 +0000 (17:09 +0200)
commit489a2d6c6bdf6ce069bb21842ce305c85ce69382
tree8150484ed0f362c1f40b97d494ac78673df2991f
parent267c154e1ee62d8c5ac903dda13da6a2c7dc16ad
tweak for syncing onto f12 or other arch flavours
Makefile