diff options
author | MarcoFalke <falke.marco@gmail.com> | 2017-06-09 13:20:42 -0700 |
---|---|---|
committer | Pieter Wuille <pieter.wuille@gmail.com> | 2017-06-09 19:25:36 -0700 |
commit | 3ee3d04374894ad56ac00b654aef70d70fe6466e (patch) | |
tree | ad062c10da836ea70738ec0d732da86a12a32588 | |
parent | 2424989e4f681a71273c0cc729e38eef30452456 (diff) |
Add extra LevelDB source to Makefile
-rw-r--r-- | src/Makefile.leveldb.include | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.leveldb.include b/src/Makefile.leveldb.include index b61088ef3a..ac38141f43 100644 --- a/src/Makefile.leveldb.include +++ b/src/Makefile.leveldb.include @@ -77,6 +77,7 @@ leveldb_libleveldb_a_SOURCES += leveldb/table/merger.h leveldb_libleveldb_a_SOURCES += leveldb/table/format.h leveldb_libleveldb_a_SOURCES += leveldb/table/iterator_wrapper.h leveldb_libleveldb_a_SOURCES += leveldb/util/crc32c.h +leveldb_libleveldb_a_SOURCES += leveldb/util/env_posix_test_helper.h leveldb_libleveldb_a_SOURCES += leveldb/util/arena.h leveldb_libleveldb_a_SOURCES += leveldb/util/random.h leveldb_libleveldb_a_SOURCES += leveldb/util/posix_logger.h |