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 5c674f8e1605e1fd5036e2188708b55e9d9890bb..f769de17378aaf19fd3abfa36bcbc5baa42beadc 100755 (executable)
--- a/tools/nd_fetch_bdepends
+++ b/tools/nd_fetch_bdepends
@@ -1,21 +1,34 @@
 #!/bin/bash
 
-tdir=$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
 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 $pkg >> build-rdeps.output
+       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 \