diff options
| author | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-02-28 15:36:45 -0500 |
|---|---|---|
| committer | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-02-28 15:36:45 -0500 |
| commit | 612fd7b29cde5382fda720d76347212442ea4eec (patch) | |
| tree | cbaccd60d7eb64ab9aca4c217e67be5afeba05b5 /configs/example_config | |
| parent | 8edb6adb91191ef329b6044ea298d74b11c7835d (diff) | |
fix: awk -> gawk & verify defconfig exists
Transitioned from awk to gawk for the time being to use gensub cross
platform. Also, now verify that the defconfig specified exists and if it
does not, then an error message is printed.
Diffstat (limited to 'configs/example_config')
| -rw-r--r-- | configs/example_config | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/configs/example_config b/configs/example_config deleted file mode 100644 index 0c34f1e..0000000 --- a/configs/example_config +++ /dev/null @@ -1,3 +0,0 @@ -CONFIG_USE_TOOLCHAIN_FILE=y -CONFIG_AGE=22 -CONFIG_NAME="John Smith" |