From b6b1edb2882bcf64a2e578c548e75f6c9475a9fc Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Sun, 20 May 2018 11:08:53 -0400 Subject: [PATCH] fix opera make script --- 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 6de39fdb2..8bc2d2689 100755 --- a/tools/make-opera.sh +++ b/tools/make-opera.sh @@ -23,14 +23,17 @@ cp platform/chromium/*.json $DES/ cp LICENSE.txt $DES/ echo "*** uBlock0.opera: concatenating content scripts" -cat $DES/js/vapi-usercss.pseudo.js > /tmp/contentscript.js +cat $DES/js/vapi-usercss.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/vapi-usercss.pseudo.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.pseudo.js +rm $DES/js/vapi-usercss.js rm $DES/js/vapi-usercss.real.js +rm $DES/js/vapi-usercss.pseudo.js # Opera-specific cp platform/opera/manifest.json $DES/