diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/compile_js.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devtools/compile_js.sh b/devtools/compile_js.sh index e53cb4bc..577f29d4 100755 --- a/devtools/compile_js.sh +++ b/devtools/compile_js.sh @@ -43,6 +43,7 @@ main() { # TODO: once this is not an experiment, add it to the line above. $cmd $JSDIR/completion.min.js $JSDIR/completion.js $cmd $JSDIR/fetch.min.js $JSDIR/fetch.js + $cmd $JSDIR/badge.min.js $JSDIR/badge.js $cmd $JSDIR/jump.min.js third_party/dialog-polyfill/dialog-polyfill.js $JSDIR/jump.js } |