diff options
| author | Jules Laplace <julescarbon@gmail.com> | 2018-06-08 02:23:10 +0200 |
|---|---|---|
| committer | Jules Laplace <julescarbon@gmail.com> | 2018-06-08 02:23:10 +0200 |
| commit | dce11932353db59db5a814b1e97b28b36f2f683d (patch) | |
| tree | 9f94e5b84153570f1db47b8077d166bfb2699f41 | |
| parent | be2324bb9e43d88743a3c06189121bafc8640a99 (diff) | |
pk
| -rwxr-xr-x | mix.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ #!/bin/bash -if [ "$#" -ne 2 ]; then +if [ "$#" -ne 3 ]; then echo "Usage: $0 <results/exp\:experiment> render_name endpoint" exit fi |
