From 18bdb21434d054cabb71b3a3059b7d3e67cbc290 Mon Sep 17 00:00:00 2001 From: dzaima Date: Thu, 7 Apr 2022 13:10:57 +0300 Subject: [PATCH] force pre-singeli build name --- makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/makefile b/makefile index e49391f7..18a33082 100644 --- a/makefile +++ b/makefile @@ -137,8 +137,7 @@ preSingeliBin: git submodule update --init; \ fi @echo "pre-singeli build:" - @${MAKE} singeli=0 postmsg="singeli sources:" t=presingeli f='-O1' c - @mv BQN obj/presingeli/BQN + @${MAKE} singeli=0 postmsg="singeli sources:" t=presingeli f='-O1' OUTPUT=obj/presingeli/BQN c gen-singeli: ${addprefix src/singeli/gen/, cmp.c dyarith.c slash.c equal.c}