diff options
Diffstat (limited to 'src/third_party/wiredtiger/test/format/Makefile.am')
| -rw-r--r-- | src/third_party/wiredtiger/test/format/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/third_party/wiredtiger/test/format/Makefile.am b/src/third_party/wiredtiger/test/format/Makefile.am index 0f265fa5a56..034876933f7 100644 --- a/src/third_party/wiredtiger/test/format/Makefile.am +++ b/src/third_party/wiredtiger/test/format/Makefile.am @@ -25,8 +25,7 @@ backup: refresh: rm -rf RUNDIR && cp -p -r BACKUP RUNDIR -# Temporarily disabled -# TESTS = smoke.sh +TESTS = smoke.sh clean-local: rm -rf RUNDIR s_dumpcmp core.* *.core |