Fetch linux tags automatically

diff --git a/continuous/steps/10-clone b/continuous/steps/10-clone
index 0cf550c539e5c57e21f4726b8551f5a441d64d54..72159e1152a3a7b619655265a645ef3dcc6c001e 100755 (executable)
--- a/continuous/steps/10-clone
+++ b/continuous/steps/10-clone
@@ -13,3 +13,4 @@ fi
 cd linux
 git fetch $REPO
 git reset --hard FETCH_HEAD
+git fetch --tags