diff options
| author | David Wagner <david.wagner@intel.com> | 2015-02-18 15:15:04 +0100 |
|---|---|---|
| committer | David Wagner <david.wagner@intel.com> | 2015-02-18 15:15:04 +0100 |
| commit | 8a4661428263e1f1a082b635a4e860818fb2fb52 (patch) | |
| tree | 7a9d640b291f90723af9b463878dc5ed951bd4f2 /tools | |
| parent | d37ca914061debbd6135840834f2cae2ffbeb07e (diff) | |
| parent | 36423a49fdde5755faea5914e554b64363034b0c (diff) | |
| download | external_parameter-framework-8a4661428263e1f1a082b635a4e860818fb2fb52.zip external_parameter-framework-8a4661428263e1f1a082b635a4e860818fb2fb52.tar.gz external_parameter-framework-8a4661428263e1f1a082b635a4e860818fb2fb52.tar.bz2 | |
Merge pull request #49 from pafonso/iminleg_rebase
Iminleg rebase
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/xmlGenerator/hostDomainGenerator.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/xmlGenerator/hostDomainGenerator.sh b/tools/xmlGenerator/hostDomainGenerator.sh index 4222382..1a7d315 100755 --- a/tools/xmlGenerator/hostDomainGenerator.sh +++ b/tools/xmlGenerator/hostDomainGenerator.sh @@ -245,7 +245,7 @@ changeSocketsPorts() { # Start the pfw using different socket if it fails safeStartPFW () { local retry=0 - local nbRetry=10 + local nbRetry=1000 # Workaround to avoid build failure, it very very rarely fail this many time # Choose a new pair of socket ports changeSocketsPorts |