unsigned int *num, char **infofile);
/* From tools.c */
+/* If set, print all commands run, all output they give and exit status. */
+extern bool tools_verbose;
char *talloc_basename(const void *ctx, const char *dir);
char *talloc_dirname(const void *ctx, const char *dir);
char *talloc_getcwd(const void *ctx);
* These all compile into a temporary dir, and return the filename.
* On failure they return NULL, and errmsg is set to compiler output.
*/
+/* If set, say what we're compiling to. */
+extern bool compile_verbose;
/* Compile multiple object files into a single. */
char *link_objects(const void *ctx, const char *objs, char **errmsg);
/* Compile a single C file to an object file. Returns errmsg if fails. */