Revision e798bb3b

b/make-dist.sh
32 32 
}
33 33 

  		





  34
  34
  
    
clean() {


  		





  35
  
  
    
    mvn clean || fail "cleaning compilation artifacts"


  		





  
  35
  
    
    local p="$1"


  		





  
  36
  
    
    [ "$p"="dev" -o "$p"="fast" -o "$p"="noclean" ] || {


  		





  
  37
  
    
        mvn clean || fail "cleaning compilation artifacts"


  		





  
  38
  
    
    }


  		





  36
  39
  
    
}


  		





  37
  40
  
    

  		





  38
  41
  
    
collectdeps() {


  		












Also available in:
  Unified diff