options/ansi: add %% to strftime
@@ -224,6 +224,12 @@ size_t strftime(char *__restrict dest, size_t max_size,
return 0;
p += chunk;
c += 2;
+ }else if(*(c + 1) == '%') {
+ auto chunk = snprintf(p, space, "%%");
+ if(chunk >= space)
+ return 0;
+ p += chunk;
+ c += 2;
}else {
__ensure(!"Unknown format type.");
}
