Revision 141c8421 autotools/gen-coverage

b/autotools/gen-coverage
21 21 
set -e
22 22 
set -u
23 23 

  		





  24
  
  
    
: ${COVERAGE:=coverage}


  		





  25
  24
  
    
: ${PYTHON:=python}


  		





  
  25
  
    
: ${COVERAGE:?}


  		





  26
  26
  
    
: ${COVERAGE_FILE:?}


  		





  27
  27
  
    
: ${TEXT_COVERAGE:?}


  		





  
  28
  
    
: ${HTML_COVERAGE:=}


  		





  28
  29
  
    
: ${GANETI_TEMP_DIR:?}


  		





  29
  30
  
    

  		





  30
  31
  
    
reportargs=(


  		





  ......




  34
  35
  
    

  		





  35
  36
  
    
$COVERAGE erase


  		





  36
  37
  
    

  		





  
  38
  
    
if [[ -n "$HTML_COVERAGE" ]]; then


  		





  
  39
  
    
  if [[ ! -d "$HTML_COVERAGE" ]]; then


  		





  
  40
  
    
    echo "Not a directory: $HTML_COVERAGE" >&2


  		





  
  41
  
    
    exit 1


  		





  
  42
  
    
  fi


  		





  
  43
  
    

  		





  
  44
  
    
  # At least coverage 3.4 fails to overwrite files


  		





  
  45
  
    
  find "$HTML_COVERAGE" \( -type f -o -type l \) -delete


  		





  
  46
  
    
fi


  		





  
  47
  
    

  		





  37
  48
  
    
for script; do


  		





  38
  49
  
    
  if [[ "$script" == *-runasroot.py ]]; then


  		





  39
  50
  
    
    if [[ -z "$FAKEROOT" ]]; then


  		












Also available in:
  Unified diff