( Showing only the last 30 out of 199 lines. For a complete log visit the build page )
OC ml_gtk_drag.c
OC xmlEdit.mli
OC xmlEdit.ml
OC mapFP.mli
OC mapFP.ml
OL libxlib-pprz.a
OOC gtk_tools.ml
OOC platform.ml
OOC contrastLabel.ml
OOC acIcon.ml
OOC wind_sock.ml
OOC gtk_papget_editor.ml
OOC gtk_papget_text_editor.ml
OOC gtk_papget_gauge_editor.ml
OOC gtk_papget_led_editor.ml
OOC papget_common.ml
OOC papget_renderer.ml
OOC papget.ml
OOC mapCanvas.ml
OOC mapWaypoints.ml
OOC mapTrack.ml
OOC mapGoogle.ml
OOC mapIGN.ml
OOC xmlEdit.ml
ocamlopt.opt got signal and exited
Makefile:149: recipe for target 'xmlEdit.cmx' failed
make[1]: *** [xmlEdit.cmx] Error 2
Makefile:152: recipe for target 'libpprz' failed
make: *** [libpprz] Error 2