diff options
Diffstat (limited to 'apps/plugins')
| -rw-r--r-- | apps/plugins/plugins.make | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/apps/plugins/plugins.make b/apps/plugins/plugins.make index 41d2307..fca37aa 100644 --- a/apps/plugins/plugins.make +++ b/apps/plugins/plugins.make @@ -118,10 +118,12 @@ $(BUILDDIR)/%.rock: $(filter %.o, $^) \ $(filter %.a, $+) \ -lgcc $(PLUGINLDFLAGS) -ifdef APP_TYPE - $(SILENT)cp $(BUILDDIR)/$*.elf $@ +ifndef APP_TYPE + $(SILENT)$(OC) -O binary $(BUILDDIR)/$*.elf $@ # objcopy native +else ifeq (,$(findstring sdl-sim,$(APP_TYPE))) + $(SILENT)$(OC) -S -x $(BUILDDIR)/$*.elf $@ # objcopy hosted else - $(SILENT)$(OC) -O binary $(BUILDDIR)/$*.elf $@ + $(SILENT)cp $(BUILDDIR)/$*.elf $@ # no objcopy, keep debug symbols endif $(BUILDDIR)/apps/plugins/%.lua: $(ROOTDIR)/apps/plugins/%.lua |