From 71aec11a043878103c44769b6fc7dbcce57e1c58 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 26 Dec 2012 15:50:09 -0800
Subject: [PATCH] Ignore callgrind files and Python pyo files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 3d6e631f1..a935d9dba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,8 @@
 *~
 *.pyc
+*.pyo
+# Ignore callgrind files
+callgrind.out.*
 # .hpp files are automatically generated
 *.hpp
 .z3-trace