From 698523753b3d130ee7d290515d014d6893ed820e Mon Sep 17 00:00:00 2001
From: mid-kid <esteve.varela@gmail.com>
Date: Tue, 2 Dec 2014 21:32:23 +0100
Subject: [PATCH] Change linux-api name in tools

---
 tools/satellites/linux-api.sat | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tools/satellites/linux-api.sat b/tools/satellites/linux-api.sat
index 7a5caa0..77fc2ba 100644
--- a/tools/satellites/linux-api.sat
+++ b/tools/satellites/linux-api.sat
@@ -1,7 +1,8 @@
-name=linux
+srcname=linux
+name=$srcname-api
 version=3.17.4
 
-dlextract "https://www.kernel.org/pub/$name/kernel/v3.x/$name-$version.tar.xz" \
+dlextract "https://www.kernel.org/pub/$srcname/kernel/v3.x/$srcname-$version.tar.xz" \
           "d0e66347360aceb3cdb94f5d1d7880f2"
 
 cd "$name-$version"