| -rwxr-xr-x | scripts/builder/main.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/builder/main.py b/scripts/builder/main.py index ba0c72a..94f738f 100755 --- a/scripts/builder/main.py +++ b/scripts/builder/main.py @@ -1,17 +1,17 @@ -#!/usr/bin/python +#!/usr/bin/env python # -*- coding: UTF-8 -*- import sys, os, json import shutil import pprint import frontendBuilder import codecs import itertools from collections import deque from phpBuilder import PhpBuilder from pythonBuilder import PythonBuilder pp = pprint.PrettyPrinter(indent=4, depth=4) #-------------------------------------------------------------------- @@ -150,17 +150,17 @@ def main (): parameter = parameters.popleft() else: parameter = None if (not settings.has_key('versions')): usage("missing 'versions'") if (not settings.has_key('frontends')): usage("missing 'frontends'") if (not settings.has_key('backends')): usage("missing 'backends'") build (settings) if __name__ == "__main__": - main()
\ No newline at end of file + main() |