bench/launch-bench

   1 #!/bin/bash
   2 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
   3 cd $DIR
   4
   5 make -C../kernel/ bench
   6 ../utils/other/retip > ../distro/customroot/etc/retip
   7 ./boot "$@"
   8