| Index: runtime/bin/platform.h
|
| diff --git a/runtime/bin/platform.h b/runtime/bin/platform.h
|
| index cf220e4435070dfa8ba2660fa2400d47b80a3b41..9dc7e7a21a6a2fee63a1fa544160e3430993cdae 100644
|
| --- a/runtime/bin/platform.h
|
| +++ b/runtime/bin/platform.h
|
| @@ -63,9 +63,7 @@ class Platform {
|
| static void SetExecutableName(const char* executable_name) {
|
| executable_name_ = executable_name;
|
| }
|
| - static const char* GetExecutableName() {
|
| - return executable_name_;
|
| - }
|
| + static const char* GetExecutableName() { return executable_name_; }
|
| static const char* GetResolvedExecutableName() {
|
| if (resolved_executable_name_ == NULL) {
|
| // Try to resolve the executable path using platform specific APIs.
|
| @@ -82,12 +80,8 @@ class Platform {
|
| script_index_ = script_index;
|
| argv_ = argv;
|
| }
|
| - static int GetScriptIndex() {
|
| - return script_index_;
|
| - }
|
| - static char** GetArgv() {
|
| - return argv_;
|
| - }
|
| + static int GetScriptIndex() { return script_index_; }
|
| + static char** GetArgv() { return argv_; }
|
|
|
| static DART_NORETURN void Exit(int exit_code);
|
|
|
|
|