add missing files to .gitignore and tools/.gitignore

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

add missing files to .gitignore and tools/.gitignore
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
5c613f02 · Alessandro Rubini · 7834a39a · 5c613f02 · 5c613f02
Commit 5c613f02 authored Dec 04, 2019 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

.gitignore .gitignore +1 -0

.gitignore tools/.gitignore +1 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ ppsi.bin
 .config.old
 include/config
 include/generated
+size_wrs_info.txt
--- a/tools/.gitignore
+++ b/tools/.gitignore
@@ -4,3 +4,4 @@ jmptime
 chktime
 adjrate
 pps-out
+monotonicClock