• Guus der Kinderen's avatar
    Making Travis happy · aa8d6d31
    Guus der Kinderen authored
    The Github-based CI server (Travis), tends to run out of resources quickly.
    This commit adds a new optional flag that allows the build to skip tests that
    are known to be resource intensive.
    Example usage: ant -DskipResourceIntensiveTests=true clean test
    
    This change also splits up build steps distinct Travis environments. This
    helps to isolate resource usage, as well as speed things up (as things run
    in parallel now)
    aa8d6d31