This is an old revision of the document!
TIME_CMD
Configured via config/general.h.
config/general.h
#define TIME_CMD /* Time commands */
This build option enables the time command time.
time