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/panic.h | |
parent | 71ad3a8e7ace69f1c8dd732f5a223b93d8b5e946 (diff) |
build: don't -Isrc/ in user code
Diffstat (limited to 'src/user/lib/panic.h')
-rw-r--r-- | src/user/lib/panic.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/user/lib/panic.h b/src/user/lib/panic.h deleted file mode 100644 index 91aec5f..0000000 --- a/src/user/lib/panic.h +++ /dev/null @@ -1,5 +0,0 @@ -#pragma once -#include <stdio.h> -#include <stdlib.h> - -#define __libc_panic(...) do { fprintf(stderr, "__libc_panic @ %s:", __func__); fprintf(stderr, __VA_ARGS__); fprintf(stderr, "\n"); abort(); } while (0) |