diff options
Diffstat (limited to 'repo/openpgm/python3.patch')
-rw-r--r-- | repo/openpgm/python3.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/repo/openpgm/python3.patch b/repo/openpgm/python3.patch new file mode 100644 index 0000000..f1ae797 --- /dev/null +++ b/repo/openpgm/python3.patch @@ -0,0 +1,28 @@ +diff --git a/version_generator.py b/version_generator.py +index b2f8f9a..0143d67 100755 +--- a/version_generator.py ++++ b/version_generator.py +@@ -1,4 +1,4 @@ +-#!/usr/bin/python ++#!/usr/bin/python3 + + import os + import platform +@@ -8,7 +8,7 @@ build_date = time.strftime ("%Y-%m-%d") + build_time = time.strftime ("%H:%M:%S") + build_rev = filter (str.isdigit, "$Revision: 1487 $") + +-print """ ++print(""" + /* vim:ts=8:sts=8:sw=4:noai:noexpandtab + * + * OpenPGM version. +@@ -50,6 +50,6 @@ const char* pgm_build_revision = "%s"; + + + /* eof */ +-"""%(build_date, build_time, platform.system(), platform.machine(), build_rev) ++"""%(build_date, build_time, platform.system(), platform.machine(), build_rev)) + + # end of file + |