From e2bc299dc9164859f92090e2725617a37beff21b Mon Sep 17 00:00:00 2001 From: gorhill Date: Sat, 24 Oct 2015 13:13:29 -0400 Subject: [PATCH] Opera also needs managed_schema.json --- tools/make-opera.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/make-opera.sh b/tools/make-opera.sh index e6d0cd267..c0611fece 100755 --- a/tools/make-opera.sh +++ b/tools/make-opera.sh @@ -20,6 +20,7 @@ cp -R src/_locales $DES/ cp src/*.html $DES/ cp platform/chromium/*.js $DES/js/ +cp platform/chromium/*.json $DES/ cp -R platform/chromium/img $DES/ cp platform/opera/manifest.json $DES/