diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-10-10 01:09:17 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-10-10 01:09:17 -0400 |
| commit | 67702b2d77d8474c2a7fe7f1816f4eb9a0a98af1 (patch) | |
| tree | 0294659e9ef662577c175af0c5989ab9a8f254c5 /stdlib/files.h | |
| parent | a2490f4a500fca4b84e5652d31fc621f9f20742b (diff) | |
Fix issue with non-ID chars in filenames
Diffstat (limited to 'stdlib/files.h')
| -rw-r--r-- | stdlib/files.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/files.h b/stdlib/files.h index f650f78e..68827c2a 100644 --- a/stdlib/files.h +++ b/stdlib/files.h @@ -18,6 +18,8 @@ typedef struct { char *resolve_path(const char *path, const char *relative_to, const char *system_path); __attribute__((pure, nonnull)) char *file_base_name(const char *path); +__attribute__((pure, nonnull)) +char *file_base_id(const char *path); __attribute__((nonnull)) file_t *load_file(const char *filename); __attribute__((nonnull, returns_nonnull)) |