Tag the time_tool target as "manual".  It currently is not portable due to its use of <getopt.h>.
Tag the time_tool target as "manual".  It currently is not portable
due to its use of <getopt.h>.

Jellybooks/cctz,Jellybooks/cctz,google/cctz,google/cctz,Jellybooks/cctz