projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5b9cbe1
)
Generalizing lib/strtok_r.c so that it can always be compiled.
author
Tim King
<taking@google.com>
Mon, 1 Feb 2016 19:29:49 +0000
(11:29 -0800)
committer
Tim King
<taking@google.com>
Mon, 1 Feb 2016 19:29:49 +0000
(11:29 -0800)
src/lib/strtok_r.c
patch
|
blob
|
history
diff --git
a/src/lib/strtok_r.c
b/src/lib/strtok_r.c
index 320da746ed27e4f087252be010c7b89e958a772f..da49aaada85ff30e5e844e896f889777d8fbb329 100644
(file)
--- a/
src/lib/strtok_r.c
+++ b/
src/lib/strtok_r.c
@@
-20,9
+20,11
@@
#include <stdio.h>
#include <string.h>
+
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
+#ifndef HAVE_STRTOK_R
char* strtok_r(char *str, const char *delim, char **saveptr) {
if(str == NULL) {
@@
-36,6
+38,7
@@
char* strtok_r(char *str, const char *delim, char **saveptr) {
}
}
+#endif /* ifndef HAVE_STRTOK_R */
#ifdef __cplusplus
}/* extern "C" */
#endif /* __cplusplus */