Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-25 23:46:04 +08:00
Code Issues Actions 25 Packages Projects Releases Wiki Activity

[ocaml] clean up sed invocation

Browse Source
This commit is contained in:
Felix Ruess
2015-03-23 11:32:33 +01:00
parent 60f5842e2a
commit 9deb9ed279
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/Makefile
+1 -1
View File
@@ -185,7 +185,7 @@ gtk_papget_led_editor.ml : widgets.glade
META.pprz: META.pprz.template
@echo COPY $<
$(shell cp $< META.pprz && sed -i '' -e 's/LABLGTK2GNOMECANVAS/$(LABLGTK2GNOMECANVAS)/g' META.pprz)
$(shell sed -e 's/LABLGTK2GNOMECANVAS/$(LABLGTK2GNOMECANVAS)/g' $< > $@)
clean :
$(Q)rm -f *~ *.cm* *.out *.opt .depend *.a *.o *.so tests gtk_papget_*.ml expr_parser.ml expr_parser.mli expr_lexer.ml expr_lexer.mli META.pprz