From 17358ffbfff72bcbc8e1b511eea29a175d75c64b Mon Sep 17 00:00:00 2001 From: Lorenz Meier Date: Tue, 23 Feb 2016 16:02:20 +0100 Subject: [PATCH] Changed permissions, added Python shebang --- Tools/CI/MissionCheck.py | 2 ++ 1 file changed, 2 insertions(+) mode change 100644 => 100755 Tools/CI/MissionCheck.py diff --git a/Tools/CI/MissionCheck.py b/Tools/CI/MissionCheck.py old mode 100644 new mode 100755 index 758b5cc504..a7421250da --- a/Tools/CI/MissionCheck.py +++ b/Tools/CI/MissionCheck.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python + ################################################################################################ # @File MissionCheck.py # Automated mission loading, execution and monitoring