diff options
Diffstat (limited to 'devtools/shared/sourcemap/UPGRADING.md')
| -rw-r--r-- | devtools/shared/sourcemap/UPGRADING.md | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devtools/shared/sourcemap/UPGRADING.md b/devtools/shared/sourcemap/UPGRADING.md new file mode 100644 index 0000000000..5a257f7e48 --- /dev/null +++ b/devtools/shared/sourcemap/UPGRADING.md @@ -0,0 +1,13 @@ +Rather than make changes to the built files here, make them upstream and then +upgrade our tree's copy of the built files. + +To upgrade the source-map library: + + $ git clone https://github.com/mozilla/source-map.git + $ cd source-map + $ git checkout <latest-tagged-version> + $ npm install + $ npm run-script build -or- nodejs Makefile.dryice.js (if you have issues with npm) + $ cp dist/source-map.js /path/to/mozilla-central/devtools/shared/sourcemap/source-map.js + $ cp dist/test/* /path/to/mozilla-central/devtools/shared/sourcemap/tests/unit/ + |