From fe33896d9dab3d0329bce7e5150d9c476cb3a4f6 Mon Sep 17 00:00:00 2001
From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Thu, 26 Sep 2013 21:52:09 -0400
Subject: [PATCH] Use -short-paths

---
 polymorphic-life/001/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/polymorphic-life/001/Makefile b/polymorphic-life/001/Makefile
index 9328a65..2bb078b 100644
--- a/polymorphic-life/001/Makefile
+++ b/polymorphic-life/001/Makefile
@@ -9,6 +9,7 @@ build:
 		-use-ocamlfind \
 		-package core \
 		-tag thread \
+		-tag short-paths \
 		-cflags "-w +A-44" \
 		src/$(executable_name_ext)
 	@mkdir -p bin/
-- 
2.20.1