mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

boli
10.28.2007 81fb985c0f91ca5b4ca1e3fb42e993cfcdf33f71
opends/build-tools/src/org/opends/build/tools/CoverageDiff.java
@@ -143,7 +143,8 @@
    }
    catch(IOException ie)
    {
      throw new BuildException("An error occured while processing diff output: " + ie.toString(), ie);
      System.out.println("ERROR: An error occured while processing diff output: " + ie.toString() + " Quitting...");
      return;
    }
  }