diff options
author | Mark H Weaver <mhw@netris.org> | 2014-06-04 20:40:23 -0400 |
---|---|---|
committer | Mark H Weaver <mhw@netris.org> | 2014-06-04 20:40:23 -0400 |
commit | 4afca1a0662323ed8760c75d84c3aadc64b72908 (patch) | |
tree | 814a45c153e3b89dd2f5b7003132b571752c3ef9 | |
parent | 1ea8954814d124b995f2296bc6aec92adb566bc1 (diff) | |
download | guile-4afca1a0662323ed8760c75d84c3aadc64b72908.tar.gz |
test-guild-compile: Increase sleep time before sending SIGINT.
* test-suite/standalone/test-guild-compile: Increase sleep time
before sending SIGINT, for slow machines.
-rwxr-xr-x | test-suite/standalone/test-guild-compile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/standalone/test-guild-compile b/test-suite/standalone/test-guild-compile index 05d45ce35..525ecc6e0 100755 --- a/test-suite/standalone/test-guild-compile +++ b/test-suite/standalone/test-guild-compile @@ -18,7 +18,7 @@ guild compile -o "$target" "$source" & pid="$!" # Send SIGINT. -sleep 1 && kill -INT "$pid" +sleep 2 && kill -INT "$pid" # Wait for 'guild compile' to terminate. sleep 2 |