diff options
| -rw-r--r-- | .gitignore | 4 | ||||
| l--------- | include/tomo | 1 | ||||
| -rw-r--r-- | tomo.c | 2 |
3 files changed, 4 insertions, 3 deletions
@@ -3,5 +3,5 @@ *.tm.c *.tm.h *.tm.o -tomo -tags +/tomo +/tags diff --git a/include/tomo b/include/tomo new file mode 120000 index 00000000..ee3780d7 --- /dev/null +++ b/include/tomo @@ -0,0 +1 @@ +../builtins
\ No newline at end of file @@ -83,7 +83,7 @@ int main(int argc, char *argv[]) cflags = getenv("CFLAGS"); if (!cflags) - cflags = heap_strf("%s %s -ggdb -I. -D_DEFAULT_SOURCE", cconfig, optimization); + cflags = heap_strf("%s %s -ggdb -I./include -D_DEFAULT_SOURCE", cconfig, optimization); ldlibs = "-lgc -lcord -lm -L. -ltomo"; if (getenv("LDLIBS")) |
