[paparazzi-commits] [paparazzi/paparazzi] 1b57ff: [build] fix build dep for tools (#2472)

[Gautier Hattenberger]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 1b57ff131bea64f523ded0edbce6fd0fbd1cc34f
      
https://github.com/paparazzi/paparazzi/commit/1b57ff131bea64f523ded0edbce6fd0fbd1cc34f
  Author: Gautier Hattenberger <address@hidden>
  Date:   2019-12-11 (Wed, 11 Dec 2019)

  Changed paths:
    M Makefile
    M sw/lib/ocaml/Makefile

  Log Message:
  -----------
  [build] fix build dep for tools (#2472)

* [build] fix build dep for tools

fix #2228

* fix more dep for fast and recent proc

it's awesome

![clean_after](https://user-images.githubusercontent.com/483944/70664849-8b28b280-1c6b-11ea-81b3-d21ff45e2897.png)
![make_after](https://user-images.githubusercontent.com/483944/70664852-8cf27600-1c6b-11ea-977a-8cb783217548.png)