Commit d31be268 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

Merge branch 'feature/patrick/chrominum2master' into 'master'

Updates an oracle next to kernel changes

See merge request frama-c/frama-clang!156
parents 64926996 3b44dacc
Pipeline #39164 failed with stages
......@@ -62,6 +62,10 @@ struct __fc_FILE {
};
typedef struct __fc_FILE FILE;
typedef int clockid_t;
struct timespec {
long tv_sec ;
long tv_nsec ;
};
typedef int pid_t;
typedef unsigned long sigset_t;
union sigval {
......@@ -99,10 +103,6 @@ struct tm {
int tm_yday ;
int tm_isdst ;
};
struct timespec {
long tv_sec ;
long tv_nsec ;
};
typedef char char_type;
typedef int char_type;
struct __shared_ref_base;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment