From 7e7d524e29dbd6557a039eb82fc2e9f7cd6b4a9b Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 16 Feb 2016 14:28:06 -0800
Subject: [PATCH] Enable -short-paths for better error messages

Summary: public

Reviewed By: jvillard

Differential Revision: D2938268

fb-gh-sync-id: 4fd06af
shipit-source-id: 4fd06af
---
 infer/src/Makefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in
index 714d9c693..f90d1e03a 100644
--- a/infer/src/Makefile.in
+++ b/infer/src/Makefile.in
@@ -77,6 +77,7 @@ OCAMLBUILD_OPTIONS = \
                      $(OCAMLBUILD_BINANNOT_OPTIONS) \
                      $(OCAMLBUILD_QUIET_OPTIONS) \
                      -classic-display \
+                     -cflags -short-paths \
                      -cflags -principal \
                      -cflags -strict-formats \
                      -cflags -strict-sequence \