diff options
author | Robert James Kaes <rjk@wormbytes.ca> | 2008-05-24 20:13:55 -0400 |
---|---|---|
committer | Mukund Sivaraman <muks@banu.com> | 2008-06-03 21:51:02 +0530 |
commit | b092de72f8b629ebec16ed706dc8b386c5cc6eef (patch) | |
tree | 31fc07a5133af2261cd34e05dbee0eb85af8eb63 | |
parent | 8938b9cd86aaee166d45cdbd17aef4c88ac39ba7 (diff) |
Ignore profiling generated files
The *.pcno files are generated as part of the profiling code.
Signed-off-by: Robert James Kaes <rjk@wormbytes.ca>
-rw-r--r-- | src/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/.gitignore b/src/.gitignore index f8a6b4e..4f0dcec 100644 --- a/src/.gitignore +++ b/src/.gitignore @@ -7,3 +7,4 @@ grammar.h scanner.c tinyproxy *.o +*.pcno |