From 19308e060eecdcb95aa75e96fd375986226b9109 Mon Sep 17 00:00:00 2001 From: Andrea Righi Date: Mon, 11 Dec 2023 14:48:32 +0100 Subject: [PATCH] add an 'sanitize' helper script Add a simple 'sanitize' script that allows to run the "sanitize binary" from source without installing anything in the system. Signed-off-by: Andrea Righi --- kconfig/sanitize.py | 0 sanitize | 21 +++++++++++++++++++++ 2 files changed, 21 insertions(+) mode change 100755 => 100644 kconfig/sanitize.py create mode 100755 sanitize diff --git a/kconfig/sanitize.py b/kconfig/sanitize.py old mode 100755 new mode 100644 diff --git a/sanitize b/sanitize new file mode 100755 index 0000000..43fb55c --- /dev/null +++ b/sanitize @@ -0,0 +1,21 @@ +#!/usr/bin/env python3 +# -*- mode: python -*- + +# This file is not installed; it's just to run annotations from inside a source +# distribution without installing it in the system. + +import os +from kconfig import sanitize + + +# Update PATH to make sure that annotations can be executed directly from the +# source directory. +def update_path(): + script_dir = os.path.dirname(os.path.abspath(__file__)) + current_path = os.environ.get("PATH", "") + new_path = f"{script_dir}:{current_path}" + os.environ["PATH"] = new_path + + +update_path() +exit(sanitize.main()) -- 2.31.1