3 Commits (5b55179cbfcfea7da4dde8c55ab5bce52ae3a3a8)

Author	SHA1	Message	Date
Jules Villard	1e14c87a72	[travis] detect errors in docker test ... Summary: As noticed by technion in https://github.com/facebook/infer/issues/570, failures in the Docker test do not result in failures of the test. Lol. Reviewed By: mbouaziz Differential Revision: D4605364 fbshipit-source-id: de9f84c	8 years ago
Jules Villard	f915564f52	fix permission of test scripts ... Summary: Somehow I checked them in without the executable bit set... Reviewed By: cristianoc Differential Revision: D3457820 fbshipit-source-id: 83c3d13	9 years ago
Jules Villard	8796f2c7ef	add travis CI ... Summary: Add a Travis file that builds Infer via opam. Will add docker soon. Reviewed By: cristianoc Differential Revision: D3444060 fbshipit-source-id: 11432da	9 years ago