diff options
Diffstat (limited to 't/gnits3.sh')
| -rw-r--r-- | t/gnits3.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/t/gnits3.sh b/t/gnits3.sh index 2b4839e82..cf7fb65d6 100644 --- a/t/gnits3.sh +++ b/t/gnits3.sh @@ -87,9 +87,7 @@ cd build $MAKE $MAKE install $MAKE installcheck && exit 1 -# Don't trust th exit status of "make -k" for non-GNU makes. -if using_gmake; then status=FAIL; else status=IGNORE; fi -run_make -e $status -E -- -k installcheck +run_make -E -e FAIL -- installcheck -k $MAKE grep-stderr # Make sure there is no more error when all targets are exempted. |