From: Martin Quinson Date: Thu, 22 Nov 2012 21:39:04 +0000 (+0100) Subject: how did that cruft manage to live that long? X-Git-Tag: v3_9_rc1~91^2~47^2~20 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1cebdead80dbcffd966fec53f6001c1ccdf0a32f?hp=f60438a0ee6d4be0f37c9d66f2c1cf3d4eb8812d how did that cruft manage to live that long? --- diff --git a/tools/compile-stats b/tools/compile-stats deleted file mode 100755 index 70dcd48d4c..0000000000 --- a/tools/compile-stats +++ /dev/null @@ -1,61 +0,0 @@ -#! /bin/sh - -HTML="buildlogs/index.html" -rm -f $HTML - -echo "" >> $HTML -for VERSION in `ls buildlogs|grep -v html` ; do - echo "XXXX Version $VERSION" - echo "

$VERSION

" >> $HTML - for file in `ls buildlogs/$VERSION/*.log`; do - file=`basename $file` - host=`basename $file .log` - - ## Extract the output from config.log - cat buildlogs/$VERSION/$file | \ - sed -e ':begin' \ - -e '/CONFIG-LOG-DUMP-BEGIN/ { ' \ - -e ' :in' \ - -e ' n'\ - -e ' /CONFIG-LOG-DUMP-END/Q' \ - -e ' p'\ - -e ' b in' \ - -e '}'\ - -e 'n'\ - -e 'b begin' \ - -n \ - >buildlogs/$VERSION/$host.config - cat buildlogs/$VERSION/$file | \ - sed -e ':begin' \ - -e '/CONFIG-LOG-DUMP-BEGIN/Q'\ - -e 'p'\ - -e 'n'\ - -e 'b begin' \ - -n \ - >buildlogs/$VERSION/$host.output - - ## Extract some info out there - last=`tail -n 1 buildlogs/$VERSION/$file` - sys=`grep -e "^build='[^']*'\$" buildlogs/$VERSION/$file| \ - sed "s/^build='\([^']*\)'\$/\1/"` - grassys=`grep "^#define GRAS_THISARCH" buildlogs/$VERSION/$file| \ - sed 's/.*GRAS_THISARCH //'` - - - ## Make text and html outputs - if [ "x$last" = "xRemote compilation sucessful." ] ; then - res="success: " - color= - else - res="FAILED: " - color="#fc5e5e" - fi - echo "$res" >> $HTML - echo "
$host" >> $HTML - echo " $sys" >> $HTML - - echo "$res $host $sys ($grassys)" - done - echo "
" >> $HTML -done -echo "" >>$HTML