licenses.d/by-sa/deed_files/deeds.css
author Michael Hope <michael.hope@linaro.org>
Thu Sep 29 12:40:42 2011 +1300 (2011-09-29)
changeset 2695 f2495884ca3e
parent 1 eeea35fbf182
permissions -rw-r--r--
config: add a 'auto' value for the number of parallel jobs

When CT_PARALLEL_JOBS is -1, set the number of parallel jobs to the
number of online CPUs + 1. Update documentation to match.

I find this useful when building in the cloud. You can use the same
.config file and have the build adapt to the number of processors
available. Limited testing shows that NCPUS+1 is faster than NCPUS+0
or NCPUS+2.

Signed-off-by: Michael Hope <michael.hope@linaro.org>
yann@1
     1
body {
yann@1
     2
	margin: 0px;
yann@1
     3
	padding: 0px;
yann@1
     4
	font-family: verdana, arial, helvetica, sans-serif;
yann@1
     5
	color: black;
yann@1
     6
	background-color: white;
yann@1
     7
	text-align: center;
yann@1
     8
	font-size:11px;
yann@1
     9
	/* part 1 of 2 centering hack */
yann@1
    10
	}
yann@1
    11
yann@1
    12
#deed {
yann@1
    13
	width: 620px; 
yann@1
    14
	padding: 15px;
yann@1
    15
	margin-top: 20px;
yann@1
    16
	margin-bottom: 20px;
yann@1
    17
	margin-right: auto;
yann@1
    18
	margin-left: auto; 	
yann@1
    19
	/* opera does not like 'margin:20px auto' */
yann@1
    20
	background: #ffc;
yann@1
    21
	border: 3px groove #333;
yann@1
    22
	text-align:left; 
yann@1
    23
	/* part 2 of 2 centering hack */
yann@1
    24
	width: 620px; /* ie5win fudge begins */
yann@1
    25
	voice-family: "\"}\"";
yann@1
    26
	voice-family:inherit;
yann@1
    27
	width: 584px;
yann@1
    28
	}
yann@1
    29
	
yann@1
    30
html>body #content {
yann@1
    31
	width: 584px; /* ie5win fudge ends */
yann@1
    32
	}
yann@1
    33
	
yann@1
    34
.fineprint {
yann@1
    35
	border:1px solid black; 
yann@1
    36
	padding:8px; 
yann@1
    37
	background:#ffffff;
yann@1
    38
	text-align:justify;
yann@1
    39
}
yann@1
    40
yann@1
    41
.text, li {
yann@1
    42
	font-family:verdana, sans-serif;
yann@1
    43
	font-size:11px;
yann@1
    44
	margin-left:20px;
yann@1
    45
	margin-right:20px;
yann@1
    46
	line-height:140%;
yann@1
    47
	text-align:left;
yann@1
    48
}
yann@1
    49
yann@1
    50
.tiny {
yann@1
    51
	font-family:verdana, sans-serif;
yann@1
    52
	font-size:11px;
yann@1
    53
	margin-bottom:10px;
yann@1
    54
}