main.cc
changeset 47 017efb738d95
parent 46 fc1b78ea6d84
child 136 32bd7ef40897
equal deleted inserted replaced
46:fc1b78ea6d84 47:017efb738d95
    84 //int stage3(symbol_c *tree_root);
    84 //int stage3(symbol_c *tree_root);
    85 int stage4(symbol_c *tree_root, const char *builddir);
    85 int stage4(symbol_c *tree_root, const char *builddir);
    86 
    86 
    87 
    87 
    88 static void printusage(const char *cmd) {
    88 static void printusage(const char *cmd) {
    89   printf("%s [<input_file>] [-I <include_directory>]\n", cmd);
    89   printf("%s [<input_file>] [-I <include_directory>] [<target_directory>]\n", cmd);
    90 }
    90 }
    91 
    91 
    92 
    92 
    93 
    93 
    94 int main(int argc, char **argv) {
    94 int main(int argc, char **argv) {