diff options
Diffstat (limited to 'public/tools/alphased.cmd')
-rw-r--r-- | public/tools/alphased.cmd | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/public/tools/alphased.cmd b/public/tools/alphased.cmd new file mode 100644 index 000000000..a48930373 --- /dev/null +++ b/public/tools/alphased.cmd @@ -0,0 +1,6 @@ +@if "%3" == "FULLSED" goto fullsed +@sed -e "s/builtin_alignof/builtin_isfloat/;/extern int __builtin_va_start/d" %1 >%2 +@goto done +:fullsed +@sed -e "s/builtin_alignof/builtin_isfloat/;/extern int __builtin_va_start/d" -e "s/typedef unsigned int size_t ;/& void * memset(void *, int, size_t); void * memcpy(void *, const void *, size_t); int memcmp(const void *, const void *, size_t);/" %1 >%2 +:done |