Use -short-paths

diff --git a/polymorphic-life/001/Makefile b/polymorphic-life/001/Makefile
index 9328a65..2bb078b 100644 (file)
--- 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/