Skip to content

Commit

Permalink
headers: Don't let C2Rust process xtimer
Browse files Browse the repository at this point in the history
  • Loading branch information
@chrysn
chrysn committed Nov 18, 2024
1 parent ce540e2 commit 73b6b3e
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions riot-headers.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -171,8 +171,11 @@
#include "uuid.h"
#endif
#ifdef MODULE_XTIMER
// Uses C11 generics since https://github.com/RIOT-OS/RIOT/pull/20494
#ifndef IS_C2RUST
#include <xtimer.h>
#endif
#endif
#ifdef MODULE_ZTIMER
#include <ztimer.h>
#endif
Expand Down

0 comments on commit 73b6b3e

Please sign in to comment.