Index: runtime/bin/platform.h |
diff --git a/runtime/bin/platform.h b/runtime/bin/platform.h |
index ca723ae34dc761232127845f0b98d24195b4d883..78cb33de62be8a4af4251feb7ee5d500e14f608f 100644 |
--- a/runtime/bin/platform.h |
+++ b/runtime/bin/platform.h |
@@ -24,6 +24,11 @@ class Platform { |
// deallocated by the caller. |
static const char* OperatingSystem(); |
+ // Returns a string representing the operating system's shared library |
+ // extension (e.g. 'so', 'dll', ...). The returned string should not be |
+ // deallocated by the caller. |
+ static const char* LibraryExtension(); |
+ |
// Extracts the local hostname. |
static bool LocalHostname(char* buffer, intptr_t buffer_length); |