| Index: runtime/bin/dfe.h
|
| diff --git a/runtime/bin/dfe.h b/runtime/bin/dfe.h
|
| index 6dfd507ba5df77736c8bc1fdd3b9cd359b8c5e92..6e876fa9f15d0ddd5e8d08f316c77e0988d791e0 100644
|
| --- a/runtime/bin/dfe.h
|
| +++ b/runtime/bin/dfe.h
|
| @@ -34,6 +34,9 @@ class DFE {
|
|
|
| void* kernel_vmservice_io() const { return kernel_vmservice_io_; }
|
|
|
| + bool kernel_file_specified() const { return kernel_file_specified_; }
|
| + void set_kernel_file_specified(bool value) { kernel_file_specified_ = value; }
|
| +
|
| // Method to reload a script into a running a isolate.
|
| // If the specified script [url] is not a kernel IR, compile it first using
|
| // DFE and then reload the resulting kernel IR into the isolate.
|
| @@ -76,6 +79,7 @@ class DFE {
|
| char* vmservice_io_binary_filename_;
|
| void* kernel_platform_;
|
| void* kernel_vmservice_io_;
|
| + bool kernel_file_specified_; // Kernel file was specified on the cmd line.
|
|
|
| DISALLOW_COPY_AND_ASSIGN(DFE);
|
| };
|
|
|