From 6757cf04e5a9ae0dbcf7ff953ef57582e2a34b0f Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Mon, 21 Jan 2019 15:39:16 +0100 Subject: [PATCH] [tests] adds some -no-autoload-plugins except report --- tests/misc/add_assigns.i | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/misc/add_assigns.i b/tests/misc/add_assigns.i index 5b2b95af84a..a6a820ecce9 100644 --- a/tests/misc/add_assigns.i +++ b/tests/misc/add_assigns.i @@ -1,6 +1,6 @@ /* run.config EXECNOW: make -s @PTEST_DIR@/@PTEST_NAME@.cmxs -OPT: -load-module @PTEST_DIR@/@PTEST_NAME@.cmxs -then -report -then -print +OPT: -no-autoload-plugins -load-module report,@PTEST_DIR@/@PTEST_NAME@.cmxs -then -report -then -print */ /*@ assigns *x; */ -- GitLab