diff options
| author | Martin Hořeňovský | 2017-01-20 12:28:40 +0100 |
|---|---|---|
| committer | Martin Hořeňovský | 2017-01-20 12:28:40 +0100 |
| commit | 81159838a5805a0ca4ec526a8e34fa6790e5cd1b (patch) | |
| tree | 65d55fe96775e3b3dac7fdc6c668b0278c77f9e4 /scripts/developBuild.py | |
| parent | 78a2866dc7fe951737f317a45466d1d16444221d (diff) | |
| download | catch3-81159838a5805a0ca4ec526a8e34fa6790e5cd1b.tar.gz | |
Python scripts can now be run directly from bash
Diffstat (limited to 'scripts/developBuild.py')
| -rw-r--r-- | scripts/developBuild.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/developBuild.py b/scripts/developBuild.py index c244871a..c16c8a6d 100644 --- a/scripts/developBuild.py +++ b/scripts/developBuild.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python + from __future__ import print_function from releaseCommon import Version |