diff --git a/Makefile b/Makefile index 77b175649..0f315aeb1 100644 --- a/Makefile +++ b/Makefile @@ -181,6 +181,7 @@ clean: $(MAKE) clean -C ${pwd}/lib/pqclean rm -rf ${pwd}/lib/milagro-crypto-c/build rm -rf ${pwd}/lib/mimalloc/build + make -C ${pwd}/lib/tinycc distclean $(MAKE) clean -C ${pwd}/src if [ -d "bindings" ]; then $(MAKE) clean -C ${pwd}/bindings; fi rm -f ${extras}/index.*