diff options
| author | Peter Andersson <[email protected]> | 2017-09-14 14:55:16 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-09-14 14:55:16 +0200 |
| commit | 722293a988485cce7cbc975bd5ac9096d2a91b9b (patch) | |
| tree | b905b45413bd725953a11a100c3b74253d6f78ee /make/otp_ded.mk.in | |
| parent | ddaed7774eb0a3bbaf6ee40153d2b082181a1223 (diff) | |
| parent | 32d31ca9d125793417e5c72addc821a95840e304 (diff) | |
| download | otp-722293a988485cce7cbc975bd5ac9096d2a91b9b.tar.gz otp-722293a988485cce7cbc975bd5ac9096d2a91b9b.tar.bz2 otp-722293a988485cce7cbc975bd5ac9096d2a91b9b.zip | |
Merge pull request #1537 from vitorenesduarte/stop_timeout
make stop_timeout in ct_slave:stop configurable
Diffstat (limited to 'make/otp_ded.mk.in')
0 files changed, 0 insertions, 0 deletions