diff options
| author | dzwdz | 2023-02-23 20:07:59 +0100 |
|---|---|---|
| committer | dzwdz | 2023-02-23 20:07:59 +0100 |
| commit | fca80df9e638a7d68147d91cbffda95aed96ab5c (patch) | |
| tree | 7f64c1bd425303e3a09baaf9975cfb476ddd527f /src/user/lib/include/setjmp.h | |
| parent | 71ad3a8e7ace69f1c8dd732f5a223b93d8b5e946 (diff) | |
build: don't -Isrc/ in user code
Diffstat (limited to 'src/user/lib/include/setjmp.h')
| -rw-r--r-- | src/user/lib/include/setjmp.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/user/lib/include/setjmp.h b/src/user/lib/include/setjmp.h index 298939c..6d05d79 100644 --- a/src/user/lib/include/setjmp.h +++ b/src/user/lib/include/setjmp.h @@ -1,5 +1,5 @@ #pragma once -#include <user/lib/panic.h> +#include <bits/panic.h> typedef uint64_t jmp_buf[8]; /* rbx, rsp, rbp, r12, r13, r14, r15, rip */ typedef char sigjmp_buf[1]; |