From 1d4324bf87a35e36d9cc1e856d74ffbaf912a848 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Sat, 20 Oct 2018 07:02:16 -0700 Subject: [PATCH] Disable dumping test for non-dumping builds (#2662) --- test/regress/regress0/options/invalid_dump.smt2 | 1 + 1 file changed, 1 insertion(+) diff --git a/test/regress/regress0/options/invalid_dump.smt2 b/test/regress/regress0/options/invalid_dump.smt2 index 9f92a7a64..ab6f6db31 100644 --- a/test/regress/regress0/options/invalid_dump.smt2 +++ b/test/regress/regress0/options/invalid_dump.smt2 @@ -1,3 +1,4 @@ +; REQUIRES: dumping ; COMMAND-LINE: --dump invalidDumpTag ; ERROR-SCRUBBER: grep -o "unknown option for --dump" ; EXPECT-ERROR: unknown option for --dump -- 2.30.2