From da22f5036fad63f4c1872c27b083ef8db905b6be Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 21 Jan 2013 10:18:35 +0100
Subject: [PATCH] refresh apt repos if needed

---
 scripts/sfa-reindex-debian.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 scripts/sfa-reindex-debian.sh

diff --git a/scripts/sfa-reindex-debian.sh b/scripts/sfa-reindex-debian.sh
new file mode 100644
index 0000000..df2bb60
--- /dev/null
+++ b/scripts/sfa-reindex-debian.sh
@@ -0,0 +1,7 @@
+# partial builds do not seem to index their output repos
+find_in=.
+[[ -n "$@" ]] && find_in="$@"
+for debian in $(find $find_in -name DEBIAN); do 
+    root=$(basename $debian)
+    echo "(cd $root; dpkg-scanpackages DEBIAN/ | gzip -c9 > Packages.gz)"
+done
-- 
2.47.0