Skip to content

Commit

Permalink
Override symbols.rds rule
Browse files Browse the repository at this point in the history
  • Loading branch information
jeroen committed Jan 9, 2024
1 parent c74af52 commit 0f1aa61
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions inst/webr-vars.mk
Original file line number Diff line number Diff line change
Expand Up @@ -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"

0 comments on commit 0f1aa61

Please sign in to comment.