Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-30 11:37:06 +08:00
Code Issues Actions 28 Packages Projects Releases Wiki Activity

[makefile] no explicit dependencies on libpprz

Browse Source
This commit is contained in:
Felix Ruess
2013-03-21 15:11:25 +01:00
parent 346fc0c416
commit 5e1f491b45
8 changed files with 30 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/Makefile
-1
View File
@@ -62,7 +62,6 @@ gtk_process.ml : paparazzicenter.glade
pc_common.cmo: gtk_process.cmo
paparazzicenter : $(LIBPPRZCMA) $(XLIBPPRZCMA)
paparazzicenter.cmo : gtk_pc.cmo
clean: