Also for stats report which repo and which job number use our setup

[neurodebian.git] / tools / nd_fetch_bdepends

diff --git a/tools/nd_fetch_bdepends b/tools/nd_fetch_bdepends
index ebb5d922e717d0f278e91c15befb37732abc2405..f769de17378aaf19fd3abfa36bcbc5baa42beadc 100755 (executable)
--- a/tools/nd_fetch_bdepends
+++ b/tools/nd_fetch_bdepends
@@ -1,19 +1,37 @@
 #!/bin/bash
 
-pkg=$1
+dist=$1
 tdir=$2
 
+shift
+shift
+
 # provide deb-src by uncommenting
+echo "D: adjusting the sources"
 sed -i -e 's,^#deb-src,deb-src,g' /etc/apt/sources.list
+echo "D: now have"
+cat /etc/apt/sources.list
 
 mkdir -p $tdir
 cd $tdir
 apt-get update
 apt-get install -y devscripts dctrl-tools
-build-rdeps $pkg >| build-rdeps.output
+rm -f build-rdeps.output
+echo "D: querying rdepds for $@"
+
+# D: interactive shell for debugging
+# /bin/bash < /dev/tty > /dev/tty 2> /dev/tty
+
+for pkg in "$@"; do
+       build-rdeps --distribution $dist $pkg >> build-rdeps.output
+done
+
+echo "D: got rdepds:"
+cat build-rdeps.output
 
 # Fetch all the sources
 grep -v -e '^[-A-Z]' -e '^ *$' build-rdeps.output \
+       | sort | uniq \
        | tee build-rdeps.list \
        | while read pkg; do
        apt-get source --download-only $pkg