diff options
author | dzwdz | 2023-02-23 20:07:59 +0100 |
---|---|---|
committer | dzwdz | 2023-02-23 20:07:59 +0100 |
commit | fca80df9e638a7d68147d91cbffda95aed96ab5c (patch) | |
tree | 7f64c1bd425303e3a09baaf9975cfb476ddd527f /src/shared/printf.h | |
parent | 71ad3a8e7ace69f1c8dd732f5a223b93d8b5e946 (diff) |
build: don't -Isrc/ in user code
Diffstat (limited to 'src/shared/printf.h')
-rw-r--r-- | src/shared/printf.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/shared/printf.h b/src/shared/printf.h deleted file mode 100644 index 45fd358..0000000 --- a/src/shared/printf.h +++ /dev/null @@ -1,6 +0,0 @@ -#pragma once -#include <stdarg.h> -#include <stddef.h> - -int __printf_internal(const char *fmt, va_list argp, - void (*back)(void*, const char*, size_t), void *back_arg); |