[infra] Introduce devtools_rev in DEPS

That way we can pick it up in the Flutter roller in
`src/tools/dart/create_updated_flutter_deps.py`.

Change-Id: I2b64e5790de3737dc0d66069aecdd99b42b7c2c9
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/198042
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>
Commit-Queue: Daco Harkes <dacoharkes@google.com>
This commit is contained in:
Daco Harkes 2021-05-04 11:39:21 +00:00 committed by commit-bot@chromium.org
parent da4343348e
commit ab454846f2

3
DEPS
View file

@ -107,6 +107,7 @@ vars = {
"chromedriver_tag": "83.0.4103.39",
"dartdoc_rev" : "505f163f7cb48e917503e4a23fbff1227e08b263",
"devtools_rev" : "12ad5341ae0a275042c84a4e7be9a6c98db65612",
"jsshell_tag": "version:88.0",
"ffi_rev": "f3346299c55669cc0db48afae85b8110088bf8da",
"fixnum_rev": "16d3890c6dc82ca629659da1934e412292508bba",
@ -246,7 +247,7 @@ deps = {
Var("dart_root") + "/third_party/devtools": {
"packages": [{
"package": "dart/third_party/flutter/devtools",
"version": "git_revision:12ad5341ae0a275042c84a4e7be9a6c98db65612",
"version": "git_revision:" + Var("devtools_rev"),
}],
"dep_type": "cipd",
},