diff options
Diffstat (limited to 'src/utils/Makefile.in')
| -rw-r--r-- | src/utils/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in index 1352cfea..dd2d3154 100644 --- a/src/utils/Makefile.in +++ b/src/utils/Makefile.in @@ -37,7 +37,10 @@ hammer_OBJECTS = $(hammer_SOURCES:.cc=.lo) hammer_LDADD = -L. -lOpenAxiom libOpenAxiom_HEADERS = storage.H hash-table.H string-pool.H sexpr.H -libOpenAxiom_SOURCES = storage.cc string-pool.cc sexpr.cc command.cc +libOpenAxiom_SOURCES = \ + storage.cc string-pool.cc sexpr.cc command.cc \ + filesystem.cc + libOpenAxiom_OBJECTS = $(libOpenAxiom_SOURCES:.cc=.lo) oa_public_headers = storage hash-table string-pool sexpr |