enable make sync to restart nm only conditionnally
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 19 May 2014 14:07:28 +0000 (16:07 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 19 May 2014 14:07:28 +0000 (16:07 +0200)
commit355184a0ea8eb626505b753c6f3ff78507a660ff
tree87b74a2a24522930f97c34cfcac7cabce843ca2e
parent06f7517dd04dd615d2fb83c34c2f6df45062bdca
enable make sync to restart nm only conditionnally
Makefile