1 2 3 4 5
while true; do rm -rf data_5k_*.txt work_5k_* make DEVICECLASS=5k -j3 make DEVICECLASS=5k timings done