/* Get an identifier token. */
char *get_symbol_token(void *ctx, const char **line);
-/* Read config header from config_dir/config.h: set compiler/cflags. */
-char *read_config_header(const char *config_dir,
- const char **compiler, const char **cflags,
- bool verbose);
+/* Read config header from config_dir/config.h: sets compiler/cflags. */
+char *read_config_header(const char *config_dir, bool verbose);
#endif /* CCAN_TOOLS_READ_CONFIG_HEADER_H */