diff options
Diffstat (limited to 'test/regress/regress0/tptp/Makefile.am')
| -rw-r--r-- | test/regress/regress0/tptp/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/regress0/tptp/Makefile.am b/test/regress/regress0/tptp/Makefile.am index f8f106362..e0c8a2b48 100644 --- a/test/regress/regress0/tptp/Makefile.am +++ b/test/regress/regress0/tptp/Makefile.am @@ -13,6 +13,8 @@ TESTS_ENVIRONMENT = \ $(AM_LOG_FLAGS) $(LOG_FLAGS) endif +MAKEFLAGS = -k + # escape the `=' in file names equals = = |