summaryrefslogtreecommitdiff
path: root/research/flossing/launch_multi4_repro_config_all.sh
blob: 9d25d87fdf588e72ebac46536710e6ad184c415b (plain)
1
2
3
4
5
6
7
8
9
10
#!/usr/bin/env bash
set -eo pipefail

cd /home/yurenh2/rrm/research/flossing

setsid bash launch_multi4_repro_config.sh hrm 2 > multi4_repro_hrm.outer.log 2>&1 < /dev/null &
echo "hrm pid=$!"

setsid bash launch_multi4_repro_config.sh trm 3 > multi4_repro_trm.outer.log 2>&1 < /dev/null &
echo "trm pid=$!"