diff options
Diffstat (limited to 't/gnits2.sh')
-rw-r--r-- | t/gnits2.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/t/gnits2.sh b/t/gnits2.sh index d6432cff4..f3dfdd681 100644 --- a/t/gnits2.sh +++ b/t/gnits2.sh @@ -107,9 +107,7 @@ cd build ../configure "--prefix=$(pwd)/../inst-dir" --program-prefix=p $MAKE all $MAKE test-install -# 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 : |