]> git.donarmstrong.com Git - neurodebian.git/blobdiff - tools/nd_build
Merge branch 'master' of git://git.debian.org/pkg-exppsy/neurodebian
[neurodebian.git] / tools / nd_build
index 58e5f1dddd7c41c0881fa05d31a62ed372848b19..9987817314b602d137b259322d21c07606f8a97d 100755 (executable)
@@ -46,7 +46,7 @@ if [ -z "$dist" ]; then
   exit 1
 fi
 
-. /home/neurodebian/neurodebian.git/tools/nd_cmdsettings.sh
+. /etc/neurodebian/cmdsettings.sh
 
 # common options
 opts="--distribution $dist --aptcache $aptcache --buildplace $buildplace"
@@ -89,9 +89,15 @@ for a in $arch; do
     options="$opts --debbuildopts -B"
   fi
   echo "Building for $family $dist $a ..."
+  buildfile="${dscfile%.dsc}_${a}.build"
   cowbuilder --build $dscfile \
              --basepath ${cowbuilderroot}/cow/${family}-${dist}-${a}.cow \
              --buildresult . \
+             --logfile "${buildfile}" \
              $options \
-             $*
+             "$@" && status='OK' || status='FAILED'
+  # Update the summary of builds
+  touch summary.build                               # Assure existence
+  sed -i -e '/${buildfile}/d' summary.build         # Prune previous entry
+  echo -e "${buildfile}\t$status" >> summary.build  # Add current one
 done