comparison: configure
configure
- changeset 788
- b34ff44e6433
- parent 772
- 4586a84c0c0b
- child 796
- fec90b848f4b
equal
deleted
inserted
replaced
| 787:d0f02310aa47 | 788:b34ff44e6433 |
|---|---|
| 260 { | 260 { |
| 261 printf "checking for coverage... " | 261 printf "checking for coverage... " |
| 262 # dependency coverage | 262 # dependency coverage |
| 263 while true | 263 while true |
| 264 do | 264 do |
| 265 TEMP_CFLAGS="$TEMP_CFLAGS --coverage" | 265 TEMP_CFLAGS="$TEMP_CFLAGS \${COVERAGE_CFLAGS}" |
| 266 TEMP_LDFLAGS="$TEMP_LDFLAGS --coverage" | 266 TEMP_LDFLAGS="$TEMP_LDFLAGS \${COVERAGE_LDFLAGS}" |
| 267 echo yes | 267 echo yes |
| 268 return 1 | 268 return 1 |
| 269 done | 269 done |
| 270 | 270 |
| 271 echo no | 271 echo no |
