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 2e266cb190..bb77f7de6c 100644 --- a/apps/plugins/plugins.make +++ b/apps/plugins/plugins.make | |||
@@ -73,4 +73,8 @@ $(BUILDDIR)/%.rock: $(BUILDDIR)/%.o $(PLUGINLINK_LDS) | |||
73 | $(filter %.o, $^) \ | 73 | $(filter %.o, $^) \ |
74 | $(filter %.a, $^) \ | 74 | $(filter %.a, $^) \ |
75 | -lgcc $(PLUGINLDFLAGS) | 75 | -lgcc $(PLUGINLDFLAGS) |
76 | ifdef SIMVER | ||
77 | $(SILENT)$(shell cp $(BUILDDIR)/$*.elf $@) | ||
78 | else | ||
76 | $(SILENT)$(OC) -O binary $(BUILDDIR)/$*.elf $@ | 79 | $(SILENT)$(OC) -O binary $(BUILDDIR)/$*.elf $@ |
80 | endif \ No newline at end of file | ||