upon make sync, restart slowly but safely
authorparmentelat <thierry.parmentelat@inria.fr>
Fri, 14 Dec 2018 13:40:41 +0000 (14:40 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Fri, 14 Dec 2018 13:40:41 +0000 (14:40 +0100)
commitaf097c90f7138b2d9a0269a3c19eb456139c37db
treeaf122f11bc8c77056e1119c78b40cd34e34c0061
parente450a7ff804c812404d99c7a955eb1e34f426218
upon make sync, restart slowly but safely
Makefile