force pre-singeli build name

This commit is contained in:
dzaima 2022-04-07 13:10:57 +03:00
parent 04dbf9a9a4
commit 18bdb21434

View File

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