1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/util/OS.java b/src/main/java/com/google/devtools/build/lib/util/OS.java
index b05eb2124f..fb6596f8f8 100644
--- a/src/main/java/com/google/devtools/build/lib/util/OS.java
+++ b/src/main/java/com/google/devtools/build/lib/util/OS.java
@@ -42,6 +42,10 @@ public enum OS {
     return canonicalName;
   }
 
+  public static String getVersion() {
+    return System.getProperty("os.version");
+  }
+
   @Override
   public String toString() {
     return getCanonicalName();
@@ -55,7 +59,7 @@ public enum OS {
       osName = System.getProperty("os.name");
     }
 
-    if (osName == null) { 
+    if (osName == null) {
       return OS.UNKNOWN;
     }