From df409630d233dc00a40b8b8d26404d1dfa9096ac Mon Sep 17 00:00:00 2001
From: Zachary Yedidia <zyedidia@gmail.com>
Date: Fri, 25 Mar 2016 12:15:38 -0400
Subject: [PATCH] Fix problem with cross compilation script

---
 tools/cross-compile.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/cross-compile.sh b/tools/cross-compile.sh
index 8a353c12..d6218b05 100755
--- a/tools/cross-compile.sh
+++ b/tools/cross-compile.sh
@@ -4,7 +4,7 @@ mkdir -p binaries
 mkdir -p micro/bin
 cp -r runtime micro/
 
-echo 'cp -r runtime/* ~/.micro' >> micro/install.sh
+echo 'mkdir -p ~/.micro && cp -r runtime/* ~/.micro' >> micro/install.sh
 chmod +x micro/install.sh
 
 # Mac