From 6ef660e9897a968c044429409107acb4a1c97a08 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Fri, 1 Sep 2023 09:49:14 +0200
Subject: [PATCH] Make partest the default

---
 interpreter/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/interpreter/Makefile b/interpreter/Makefile
index fe6accd931..9d345cb46d 100644
--- a/interpreter/Makefile
+++ b/interpreter/Makefile
@@ -24,7 +24,7 @@ JS =		# set to JS shell command to run JS tests, empty to skip
 .PHONY:		default all ci jslib zip
 
 default:	$(NAME)
-all:		default test
+all:		default partest
 ci:		all jslib zip
 
 jslib:		$(JSLIB)
@@ -87,7 +87,7 @@ quiettest/%: $(NAME)
 	  $(TESTDIR)/run.py 2>$(@F).out --wasm `pwd`/$(NAME) $(if $(JS),--js '$(JS)',) $(TESTDIR)/$*.wast && \
 	  rm $(@F).out \
 	) || \
-	cat $(@F).out || rm $(@F).out || exit 1
+	(cat $(@F).out && rm $(@F).out && exit 1)
 
 
 # Packaging