| Message ID | 202009092154.089Ls1sf039243@m5p.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | None | expand |
diff --git a/.gitignore b/.gitignore index 3fea6c6b15..877c2579ab 100644 --- a/.gitignore +++ b/.gitignore @@ -44,17 +44,12 @@ config.log config.status config.cache config.h -config/Toplevel.mk -config/Paths.mk build-* dist/* extras/mini-os* install/* tools/*/build/lib*/*.py -config/Tools.mk -config/Stubdom.mk -config/Docs.mk tools/libs/toolcore/headers.chk tools/libs/toollog/headers.chk tools/libs/evtchn/headers.chk diff --git a/config/.gitignore b/config/.gitignore new file mode 100644 index 0000000000..54ad25c672 --- /dev/null +++ b/config/.gitignore @@ -0,0 +1,5 @@ +/Docs.mk +/Paths.mk +/Stubdom.mk +/Tools.mk +/Toplevel.mk
Since it seems I'm removing all path-specific entries from .gitignore, the ones for config/ need their own file too. Slashes were left at the start of all filenames. Entries without slashes match files in subdirectories, entries with a slash anywhere are a specific path. I feel it is more consistent to have leading slashes on all full paths. Signed-off-by: Elliott Mitchell <ehem+xen@m5p.com> --- .gitignore | 5 ----- config/.gitignore | 5 +++++ 2 files changed, 5 insertions(+), 5 deletions(-) create mode 100644 config/.gitignore