diff options
author | dos-reis <gdr@axiomatics.org> | 2010-08-27 21:13:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-08-27 21:13:35 +0000 |
commit | ac04b468720e2d7804c4d23eb9c4560f14ad2228 (patch) | |
tree | fd0a553df287dc80ce6d42f8822e12da599719d0 /src/driver | |
parent | c27fd87803761d4e6829e931612bfb6928c23d73 (diff) | |
download | open-axiom-ac04b468720e2d7804c4d23eb9c4560f14ad2228.tar.gz |
Diffstat (limited to 'src/driver')
-rw-r--r-- | src/driver/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/driver/main.c b/src/driver/main.c index f5083ff5..7a7bc161 100644 --- a/src/driver/main.c +++ b/src/driver/main.c @@ -91,7 +91,7 @@ print_configuration_info(openaxiom_command* command) { int i; for (i = 1; i < command->core.argc; ++i) { if (strcmp(command->core.argv[i], "include") == 0) - printf(" -I\"%s\"/include", command->root_dir); + printf("\"%s\"/include ", command->root_dir); else if (strcmp(command->core.argv[i], "lib") == 0) printf(" -L\"%s\"/lib -lOpenAxiom", command->root_dir); else { |