mirror of https://gitee.com/bigwinds/arangodb
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
This commit is contained in:
commit
7b3c3068f1
|
@ -473,7 +473,7 @@ SHELL_SERVER_ONLY = \
|
|||
@top_srcdir@/js/server/tests/shell-foxx-format-middleware.js \
|
||||
@top_srcdir@/js/server/tests/shell-foxx-preprocessor.js \
|
||||
@top_srcdir@/js/server/tests/shell-skiplist-index.js \
|
||||
@top_srcdir@/js/server/tests/shell-skiplist-rm-performance.js \
|
||||
@top_srcdir@/js/server/tests/shell-skiplist-rm-performance-timecritical.js \
|
||||
@top_srcdir@/js/server/tests/shell-skiplist-correctness.js
|
||||
|
||||
SHELL_SERVER = $(SHELL_COMMON) $(SHELL_SERVER_ONLY)
|
||||
|
|
Loading…
Reference in New Issue