diff options
Diffstat (limited to 'apps/plugins/plugins.make')
| -rw-r--r-- | apps/plugins/plugins.make | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/apps/plugins/plugins.make b/apps/plugins/plugins.make index 2e266cb..bb77f7d 100644 --- a/apps/plugins/plugins.make +++ b/apps/plugins/plugins.make @@ -73,4 +73,8 @@ $(BUILDDIR)/%.rock: $(BUILDDIR)/%.o $(PLUGINLINK_LDS) $(filter %.o, $^) \ $(filter %.a, $^) \ -lgcc $(PLUGINLDFLAGS) +ifdef SIMVER + $(SILENT)$(shell cp $(BUILDDIR)/$*.elf $@) +else $(SILENT)$(OC) -O binary $(BUILDDIR)/$*.elf $@ +endif
\ No newline at end of file |