Do not update the run if the todo set is empty for the current node.
[tatoo.git] / Makefile.in
2013-07-24 Kim NguyễnAdd a Makefile to drive the build process.