Since only a single source file was modified … Vesta is much faster than Make on the … the (unmodified) libraries, whereas Make has to stat … [p. 319] [It is] important to cache calls of user-defined … [If only runtool calls are cached, Vesta is much slower (e.g., 126 seconds vs. 13 seconds for the release build)] …
Google-1
Google-2
Copyright clearance needed for quotation.