HomeSort by relevance Sort by last modified time
    Searched refs:webpagefilename (Results 1 - 2 of 2) sorted by null

  /external/eigen/bench/btl/data/
mk_mean_script.sh 40 webpagefilename=$2/index.html
41 # echo '<h3>'${WHAT}'</h3>' >> $webpagefilename
42 echo '<hr/><a href="'$prefix$1'.pdf"><img src="'$prefix$1'.png" alt="'${WHAT}'" /></a><br/>' >> $webpagefilename
go_mean 20 webpagefilename=$1/index.html
24 echo '' > $webpagefilename
25 echo '<p><strong>Configuration</strong>' >> $webpagefilename
32 '</p>' >> $webpagefilename
58 #echo `cat footer.html` >> $webpagefilename

Completed in 33 milliseconds