scripts: devtools_compatibility.js is not needed I think

see 1cdfbd9
binaryage · Nov 3, 2016 · 5f42201 · 5f42201
1 parent 85734bb
commit 5f42201
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/release.sh b/scripts/release.sh
@@ -100,7 +100,7 @@ pushd "$ROOT"
 # this should be kept in sync with devtools_frontend_resources target of devtools.gyp
 cp -r "$FRONTEND/Images" "$RELEASE_BUILD_DEVTOOLS_FRONTEND"
 cp -r "$FRONTEND/emulated_devices" "$RELEASE_BUILD_DEVTOOLS_FRONTEND"
-cp "$FRONTEND/devtools.js" "$RELEASE_BUILD_DEVTOOLS_FRONTEND"
+#cp "$FRONTEND/devtools_compatibility.js" "$RELEASE_BUILD_DEVTOOLS_FRONTEND"
 
 # copy compiled extension code (produced by `lein compile-dirac`)
 cp "$ROOT/target/resources/release/.compiled/background.js" "$RELEASE_BUILD/background.js"