diff --git a/Makefile b/Makefile index a76a66c630925296d65b503429173491eebc3bce..71cd4383433d8299241bbc3929b2e407183e2ecc 100644 --- a/Makefile +++ b/Makefile @@ -85,7 +85,6 @@ BUILTINS_VERSION=0.1.70 all: | headers libs -# TODO: can sed be removed now that cbindgen iirc supports varargs? headers: $(HEADERS_DEPS) rm -rf $(TARGET_HEADERS) mkdir -pv $(TARGET_HEADERS) @@ -100,7 +99,6 @@ headers: $(HEADERS_DEPS) out="$(TARGET_HEADERS)/$$out.h"; \ cat "src/header/$$header/cbindgen.toml" cbindgen.globdefs.toml \ | cbindgen "src/header/$$header/mod.rs" --config=/dev/stdin --output "$$out"; \ - sed -i "s/va_list __valist/.../g" "$$out"; \ fi \ done