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 0d95309bb6a62334c4632852bf03710b261a83d1..39d345ecaba8e72b863048c7edf3e804fe54604a 100755 (executable)
--- a/tools/nd_updatedist
+++ b/tools/nd_updatedist
@@ -3,7 +3,7 @@
 if [ $# -eq 1 ]; then
   family=${1%%-*}
   dist=${1##*-}
-elif [ $# -eq 2 ]; then
+elif [ $# -ge 2 ]; then
   family=$1
   dist=$2
 fi