From e14cb609f336c4a218703b4702aba0314a482a0b Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sun, 1 Jan 2023 10:21:54 -0500
Subject: [PATCH] Add `opera` as a make target

---
 Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e8c2b4dcc..1201e4a46 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 # https://stackoverflow.com/a/6273809
 run_options := $(filter-out $@,$(MAKECMDGOALS))
 
-.PHONY: all clean test lint chromium firefox npm dig mv3 mv3-quick \
+.PHONY: all clean test lint chromium opera firefox npm dig mv3 mv3-quick \
 	compare maxcost medcost mincost modifiers record wasm
 
 sources := $(wildcard assets/resources/* dist/version src/* src/*/* src/*/*/* src/*/*/*/*)
@@ -16,6 +16,12 @@ dist/build/uBlock0.chromium: tools/make-chromium.sh $(sources) $(platform) $(ass
 # Build the extension for Chromium.
 chromium: dist/build/uBlock0.chromium
 
+dist/build/uBlock0.opera: tools/make-opera.sh $(sources) $(platform) $(assets)
+	tools/make-opera.sh
+
+# Build the extension for Opera.
+opera: dist/build/uBlock0.opera
+
 dist/build/uBlock0.firefox: tools/make-firefox.sh $(sources) $(platform) $(assets)
 	tools/make-firefox.sh all