summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorRobert James Kaes <rjk@wormbytes.ca>2008-05-24 20:13:55 -0400
committerMukund Sivaraman <muks@banu.com>2008-06-03 21:51:02 +0530
commitb092de72f8b629ebec16ed706dc8b386c5cc6eef (patch)
tree31fc07a5133af2261cd34e05dbee0eb85af8eb63
parent8938b9cd86aaee166d45cdbd17aef4c88ac39ba7 (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/.gitignore1
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