Change linux-api name in tools

10 years ago · 698523753b
1 changed files with 3 additions and 2 deletions
--- 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"