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

[neurodebian.git] / tools / nd_updatedist

diff --git a/tools/nd_updatedist b/tools/nd_updatedist
index 8a92ac8601858cbdf271811dd840e8784431425b..39d345ecaba8e72b863048c7edf3e804fe54604a 100755 (executable)
--- a/tools/nd_updatedist
+++ b/tools/nd_updatedist
@@ -1,7 +1,12 @@
 #!/bin/bash
 
-family=$1
-dist=$2
+if [ $# -eq 1 ]; then
+  family=${1%%-*}
+  dist=${1##*-}
+elif [ $# -ge 2 ]; then
+  family=$1
+  dist=$2
+fi
 
 set -e
 
@@ -15,7 +20,7 @@ if [ -z "$dist" ]; then
   exit 1
 fi
 
-. /etc/neurodebian/cmdsettings.sh
+. /etc/neurodebian/cmdsettings.sh "$family" "$dist"
 
 # common options
 opts="--distribution $dist --aptcache $aptcache --buildplace $buildplace"