diff options
author | Claire Xen <claire@clairexen.net> | 2022-01-03 16:03:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-03 16:03:13 +0100 |
commit | f00a88c36eaab478b64ee27d8162e421049bcc66 (patch) | |
tree | 7d604206a2deb29c9f097ff1f3b7de78f44b34a3 /dhrystone/dhry.h | |
parent | 1d9f5b7678c008fd4ab71d9c742a70ff2365f186 (diff) | |
parent | e8dbd9ac6a28094b9a2c04cb79478d68b0e3eb07 (diff) | |
download | picorv32-master.tar.gz picorv32-master.zip |
Cleanups
Diffstat (limited to 'dhrystone/dhry.h')
-rw-r--r-- | dhrystone/dhry.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhrystone/dhry.h b/dhrystone/dhry.h index bafacc6..41f1495 100644 --- a/dhrystone/dhry.h +++ b/dhrystone/dhry.h @@ -383,8 +383,13 @@ /* General definitions: */ +#ifdef USE_MYSTDLIB +extern char *strcpy(char *dest, const char *src); +extern int strcmp(const char *s1, const char *s2); +#else #include <stdio.h> /* for strcpy, strcmp */ +#endif #define Null 0 /* Value of a Null pointer */ |