diff options
Diffstat (limited to 'backends/platform/dc/dreamcast.mk')
| -rw-r--r-- | backends/platform/dc/dreamcast.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backends/platform/dc/dreamcast.mk b/backends/platform/dc/dreamcast.mk index 5723418b59..2bea532b2e 100644 --- a/backends/platform/dc/dreamcast.mk +++ b/backends/platform/dc/dreamcast.mk @@ -14,6 +14,7 @@ plugin_dist : plugins if /usr/bin/test "$$p" -ot "$$t"; then :; else \ echo sh-elf-strip -g -o "$$t" "$$p"; \ sh-elf-strip -g -o "$$t" "$$p"; \ + $(srcdir)/backends/platform/dc/check_plugin_symbols "$$t"; \ fi;\ done |