Index: Source/devtools/devtools.gyp |
diff --git a/Source/devtools/devtools.gyp b/Source/devtools/devtools.gyp |
index ec37e4ede9e44db7ac565a1a045baccdd319db34..b4796691bb2fa28902878b9ec3b4929e9587c95f 100644 |
--- a/Source/devtools/devtools.gyp |
+++ b/Source/devtools/devtools.gyp |
@@ -104,6 +104,7 @@ |
'front_end/IsolatedFileSystem.js', |
'front_end/IsolatedFileSystemManager.js', |
'front_end/JavaScriptFormatter.js', |
+ 'front_end/JumpHistoryManager.js', |
'front_end/jsdifflib.js', |
'front_end/KeyboardShortcut.js', |
'front_end/LayersPanelDescriptor.js', |