diff options
| author | jvoisin | 2017-09-20 10:51:22 +0200 |
|---|---|---|
| committer | jvoisin | 2017-09-21 16:09:28 +0200 |
| commit | 6487590b4fd55dddd59b43f1fcf2ebd8d56f20ac (patch) | |
| tree | 22ff7c8ee4b34a0978093afcc5b747073c625d06 /src/tests/config/dump_request.ini | |
| parent | 09a71ec9b889af34173e354ecba935a9db010a19 (diff) | |
Add travis
Diffstat (limited to 'src/tests/config/dump_request.ini')
| -rw-r--r-- | src/tests/config/dump_request.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tests/config/dump_request.ini b/src/tests/config/dump_request.ini index 8c595f9..00ee7b8 100644 --- a/src/tests/config/dump_request.ini +++ b/src/tests/config/dump_request.ini | |||
| @@ -1 +1 @@ | |||
| sp.disable_functions.function("system").drop().dump("./dump_results/"); | sp.disable_functions.function("system").drop().dump("/tmp/dump_results/"); | ||