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