examples/msg/chord/run_chord

   1 #!/bin/bash
   2
   3 nb_lines=$[$1 + 3]
   4 head -n $nb_lines chord100000.xml > tmp_depl.xml
   5 echo "</platform>" >> tmp_depl.xml
   6 ./chord -nb_bits=24 -timeout=200 ../../platforms/cluster_with_300000_hosts.xml tmp_depl.xml
   7 #rm tmp_depl.xml
   8