From c5f08022f907dbcc82a44feb7fc15dcce75fd29e Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@mit.edu>
Date: Sun, 13 Dec 2015 21:55:45 -0800
Subject: [PATCH] tools/clean-repo: Don't print out the list of .pyc files
 deleted.

This was never useful output and was pretty spammy.
---
 tools/clean-repo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/clean-repo b/tools/clean-repo
index 70aba4d211..e68c45a1b1 100755
--- a/tools/clean-repo
+++ b/tools/clean-repo
@@ -8,4 +8,4 @@
 #     chmod +x .git/hooks/post-checkout
 
 cd "$(dirname "$0")/.."
-find . -name '*.pyc' -print -delete | sed 's|^|[clean-repo] Deleting |'
+find . -name '*.pyc' -delete