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

[neurodebian.git] / tools / nd_gitbuild

diff --git a/tools/nd_gitbuild b/tools/nd_gitbuild
index 4fae395688fbe224ef86688a4c10ac4aefb5eac0..3473904f40d3298be4d73ef05dd991aab18872cc 100755 (executable)
--- a/tools/nd_gitbuild
+++ b/tools/nd_gitbuild
@@ -1,6 +1,21 @@
 #!/bin/bash
 
-. /home/neurodebian/neurodebian.git/tools/nd_cmdsettings.sh
+family=$1
+dist=$2
+
+set -e
+
+if [ -z "$family" ]; then
+  echo "You need to provide a distribution family ('debian', 'ubuntu'); prefix with 'nd+' to enable the NeuroDebian repository."
+  exit 1
+fi
+
+if [ -z "$dist" ]; then
+  echo "You need to provide a distribution codename (e.g. 'lenny', 'squeeze')."
+  exit 1
+fi
+
+. /etc/neurodebian/cmdsettings.sh
 
 # common options
 opts="--distribution $dist --aptcache $aptcache --buildplace $buildplace"