Dont clean uuid_obsd on other distros

This commit is contained in:
Samuel Aubertin 2022-03-01 13:16:22 +01:00
parent c21d271af5
commit 051587ec39

View File

@ -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