From 458528718717b56ac46a6cc1b86fd11d758a6fa7 Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Tue, 24 Apr 2018 17:15:18 -0400 Subject: [PATCH] fix build script for Opera --- tools/make-opera.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/tools/make-opera.sh b/tools/make-opera.sh index a04bd0a98..b778753b5 100755 --- a/tools/make-opera.sh +++ b/tools/make-opera.sh @@ -24,11 +24,14 @@ cp platform/chromium/*.json $DES/ cp LICENSE.txt $DES/ echo "*** uBlock0.opera: concatenating content scripts" -cat $DES/js/vapi-usercss.js > /tmp/contentscript.js +cat $DES/js/vapi-usercss.pseudo.js > /tmp/contentscript.js +echo >> /tmp/contentscript.js +grep -v "^'use strict';$" $DES/js/vapi-usercss.real.js >> /tmp/contentscript.js echo >> /tmp/contentscript.js grep -v "^'use strict';$" $DES/js/contentscript.js >> /tmp/contentscript.js mv /tmp/contentscript.js $DES/js/contentscript.js -rm $DES/js/vapi-usercss.js +rm $DES/js/vapi-usercss.pseudo.js +rm $DES/js/vapi-usercss.real.js # Opera-specific cp platform/opera/manifest.json $DES/