From 051587ec3964a27a880552057e1ffda9ba621c08 Mon Sep 17 00:00:00 2001
From: Samuel Aubertin <samuel.aubertin@gmail.com>
Date: Tue, 1 Mar 2022 13:16:22 +0100
Subject: [PATCH] Dont clean uuid_obsd on other distros

---
 Makefile | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 6cb5f1e..69a4598 100644
--- a/Makefile
+++ b/Makefile
@@ -49,7 +49,7 @@ RETPOLINE= 	mretpoline
 UUID:=		$(shell uuid 2> /dev/null || uuidgen 2> /dev/null || ./uuid)
 RESULTS_FILE:=	results-$(UUID).json
 SSH_KEY=	octoupload
-TIMES=		3
+TIMES=		1
 OCTOFLAGS=	-j
 
 ifeq ($(shell uname),OpenBSD)
@@ -129,7 +129,9 @@ PROGS+=		$(RSCPROGS)
 PROGS+=		$(RGROGS)
 PROGS+=		$(RSGPROGS)
 
-all: upload
+PROGS=		spectre_v2-clang-O0 spectre_v2-clang-O1
+
+all: $(RESULTS_FILE)
 	printf "\033[1mThank you for helping science today !\033[0m\n"
 
 upload: $(RESULTS_FILE)
@@ -230,4 +232,6 @@ $(RSGPROGS):
 
 clean:
 	rm -rf $(PROGS) *.json
-	make -C uuid_obsd clean
+ifeq ($(shell uname),OpenBSD)
+	-make -C uuid_obsd clean
+endif