diff options
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index ddee4328..8f909752 100644 --- a/Makefile.am +++ b/Makefile.am @@ -56,4 +56,4 @@ check-valgrind: cd check && make check-valgrind check-torture: - cd check && make check-torture + cd check && make torture |