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