From ecd5fbc0bfcf6890cb385b8e8500dc28cccedfba Mon Sep 17 00:00:00 2001
From: Samuel Aubertin <samuel.aubertin@gmail.com>
Date: Tue, 1 Mar 2022 13:17:38 +0100
Subject: [PATCH] Wrong branch

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

diff --git a/Makefile b/Makefile
index 69a4598..2c43baf 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=		1
+TIMES=		3
 OCTOFLAGS=	-j
 
 ifeq ($(shell uname),OpenBSD)
@@ -129,9 +129,7 @@ PROGS+=		$(RSCPROGS)
 PROGS+=		$(RGROGS)
 PROGS+=		$(RSGPROGS)
 
-PROGS=		spectre_v2-clang-O0 spectre_v2-clang-O1
-
-all: $(RESULTS_FILE)
+all: upload
 	printf "\033[1mThank you for helping science today !\033[0m\n"
 
 upload: $(RESULTS_FILE)