diff options
| author | Phillip Lord <phillip.lord@russet.org.uk> | 2019-06-22 16:37:42 +0100 |
|---|---|---|
| committer | Phillip Lord <phillip.lord@russet.org.uk> | 2019-06-22 16:37:42 +0100 |
| commit | 20c90836aa10045db330699439416197df9fc761 (patch) | |
| tree | cbb6d35e26565e91ce67df5cb34b749eaf4eef37 /robot/leitner-run.sh | |
| parent | 4300ef9d4c70ce47bee196ee49b873fe8603ff66 (diff) | |
| download | org-drill-20c90836aa10045db330699439416197df9fc761.tar.gz org-drill-20c90836aa10045db330699439416197df9fc761.zip | |
Speed up robot tests with polling
Diffstat (limited to 'robot/leitner-run.sh')
| -rwxr-xr-x | robot/leitner-run.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/robot/leitner-run.sh b/robot/leitner-run.sh index d91dd78..270d743 100755 --- a/robot/leitner-run.sh +++ b/robot/leitner-run.sh @@ -25,7 +25,6 @@ source $this_dir/robot.sh launch_emacs $this_dir/leitner-run.el { - sleep 1 find_bot ## Run once with default options |