From 5a404438f7db8be260b6686fa1338055b5b16261 Mon Sep 17 00:00:00 2001
From: Matthieu Gautier <mgautier@kymeria.fr>
Date: Mon, 18 Feb 2019 15:17:34 +0100
Subject: [PATCH] Fix creation of deps archive.

---
 travis/compile_all.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/compile_all.py b/travis/compile_all.py
index eeb72b1..f021f3a 100755
--- a/travis/compile_all.py
+++ b/travis/compile_all.py
@@ -195,7 +195,7 @@ def make_deps_archive(target, full=False):
     archive_name = "deps_{}_{}_{}.tar.xz".format(
         TRAVIS_OS_NAME, PLATFORM, target)
     print_message("Create archive {}.", archive_name)
-    files_to_archive = [INSTALL_DIR/'INSTALL']
+    files_to_archive = [INSTALL_DIR]
     if PLATFORM == 'native_mixed':
         files_to_archive += [HOME/'BUILD_native_static'/'INSTALL']
     if PLATFORM.startswith('android'):