From 0f1aa61b2ec86ec6fa28fa4174050c936f2f0bd6 Mon Sep 17 00:00:00 2001
From: Jeroen Ooms <jeroenooms@gmail.com>
Date: Tue, 9 Jan 2024 19:08:44 +0100
Subject: [PATCH] Override symbols.rds rule

---
 inst/webr-vars.mk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/inst/webr-vars.mk b/inst/webr-vars.mk
index 1e9b299..e8c6a95 100644
--- a/inst/webr-vars.mk
+++ b/inst/webr-vars.mk
@@ -117,3 +117,8 @@ override ALL_FCFLAGS = $(P_FCFLAGS) $(FPICFLAGS) $(SHLIB_FFLAGS) $(FCFLAGS)
 # Print Makefile variable
 .PHONY: print-%
 print-%  : ; @echo $* = $($*)
+
+# Dummy overrrides
+symbols.rds:
+	echo "Skipping symbols.rds"
+