mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-20 11:40:18 +02:00
test-guild-compile: Increase sleep time before sending SIGINT.
* test-suite/standalone/test-guild-compile: Increase sleep time before sending SIGINT, for slow machines.
This commit is contained in:
parent
1ea8954814
commit
4afca1a066
1 changed files with 1 additions and 1 deletions
|
@ -18,7 +18,7 @@ guild compile -o "$target" "$source" &
|
||||||
pid="$!"
|
pid="$!"
|
||||||
|
|
||||||
# Send SIGINT.
|
# Send SIGINT.
|
||||||
sleep 1 && kill -INT "$pid"
|
sleep 2 && kill -INT "$pid"
|
||||||
|
|
||||||
# Wait for 'guild compile' to terminate.
|
# Wait for 'guild compile' to terminate.
|
||||||
sleep 2
|
sleep 2
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue