Labyrinth benchmakr
[IRC.git] / Robust / src / Benchmarks / SingleTM / Labyrinth / extractLines
1 #!/bin/sh
2 lines=$(grep -n "#" $1 | cut -d: -f1 | sed '1q')
3 sed '/^#/d' $1 > ttt$1