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)