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

[neurodebian.git] / tools / nd_updateall

diff --git a/tools/nd_updateall b/tools/nd_updateall
index aaf30c5f1ffbfd58cc420edbe8537f87657dc24e..150d97c6f68a40deb4551b58b5f4e4fcc787770d 100755 (executable)
--- a/tools/nd_updateall
+++ b/tools/nd_updateall
@@ -2,9 +2,15 @@
 
 . /etc/neurodebian/cmdsettings.sh
 
-for d in $alldists; do
-  dfamily=${d%%-*}
-  drelease=${d##*-}
-
-  nd_updatedist $dfamily $drelease
-done
+if [ -z "$SERIAL" ]; then
+    parallel nd_updatedist -- $alldists
+else
+    # Original serial version, we might want to switch between the two
+    # upon -j
+    for d in $alldists; do
+      dfamily=${d%%-*}
+      drelease=${d##*-}
+    
+      nd_updatedist $dfamily $drelease
+    done
+fi