diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-07-18 14:59:05 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-07-18 14:59:05 +0100 |
| commit | 61236d6fba58fb0edc62ddf39a5ebbff049e2648 (patch) | |
| tree | 9e2809721945f7a095d1af1b2fbf6957d6f6902d /tooling/manual.py | |
| parent | 833a6791c7d67af5643ea977f056ebdda661c8f5 (diff) | |
fix: GfkKit&MKFSLib: inline function inside headers to avoid symbol duplicates (libmkfs) and include DeviceMgr in FB inside GfxKit, remove FB module too from the includes; as it is not necessary and confusing inside GfxKit.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'tooling/manual.py')
| -rw-r--r-- | tooling/manual.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tooling/manual.py b/tooling/manual.py deleted file mode 100644 index 8298559b..00000000 --- a/tooling/manual.py +++ /dev/null @@ -1,9 +0,0 @@ -#! /usr/bin/env python3 -# -*- coding: utf-8 -*- - -import sys, os - -if __name__ == "__main__": - if len(sys.argv) != 2: - print("Usage: manual.py <manual_path>") - sys.exit(os.EX_CONFIG) |