From b752d2e09a2f89564bd56a7f21583f476ccf4fcd Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Wed, 16 May 2012 09:54:13 -0600
Subject: [PATCH] Only repair the big archives

---
 collects/meta/drdr/archive-repair.sh | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/collects/meta/drdr/archive-repair.sh b/collects/meta/drdr/archive-repair.sh
index cd6f7f4b03..d14804aaa7 100755
--- a/collects/meta/drdr/archive-repair.sh
+++ b/collects/meta/drdr/archive-repair.sh
@@ -1,8 +1,17 @@
 #!/bin/bash
 
 cd /opt/plt/builds
-for i in * ; do
-    if [ -f ${i}/archive.db ] ; then
-        /opt/plt/plt/bin/racket -t /opt/svn/drdr/archive-repair.rkt -- $i
-    fi
+
+du -h */archive.db | awk '{print $1}' | sort -n | uniq -c
+echo
+
+for rev in $(du -h */archive.db | sort -n | tail | awk '{print $2}' | awk -F/ '{print $1}' | tac) ; do
+    du -h ${rev}/archive.db
+    /opt/plt/plt/bin/racket -t /opt/svn/drdr/archive-repair.rkt -- $rev > /dev/null
 done
+echo
+
+du -h */archive.db | awk '{print $1}' | sort -n | uniq -c
+echo
+
+df -h