diff options
| author | Patrick Simianer <p@simianer.de> | 2016-06-28 07:52:17 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-06-28 07:52:17 +0200 |
| commit | 11b787cf91dedab3393d68ea6537bf257e865c0d (patch) | |
| tree | d873d10cef188caa33c561e189955b35c1ecb04c /util/run_demo | |
| parent | 88879ebcd230e7ace8c7819e8d02f83a7273d9a8 (diff) | |
mv
Diffstat (limited to 'util/run_demo')
| -rwxr-xr-x | util/run_demo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/run_demo b/util/run_demo index 2140a1c..74ff529 100755 --- a/util/run_demo +++ b/util/run_demo @@ -1,4 +1,4 @@ #!/bin/zsh -x -for i in {0..24}; do for j in pe nomt; do ./util/run_server g0_"$i"_"$j" &; done; done +for i in {0..24}; do for j in pe nomt; do ./util/run_session g0_"$i"_"$j" &; done; done |