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

kenneth_suter
27.48.2007 c1041d73b620b8f13619ce5e110bd33784045b6c
opends/src/build-tools/org/opends/build/tools/PrepTestNG.java
@@ -173,6 +173,10 @@
              }
            }
            writer.println("  </run>\n</groups>");
          } else {
            if (!isWindows()) {
              writer.println("    <groups><run><exclude name=\"windows\"/></run></groups>");
            }
          }
          if(packages.length > 0)
@@ -257,4 +261,9 @@
      throw new BuildException("File Error: " + e.toString());
    }
  }
  static private boolean isWindows() {
    String os = System.getProperty("os.name");
    return (os != null && os.toLowerCase().indexOf("windows") != -1);
  }
}