diff options
author | davidovski <david@davidovski.xyz> | 2022-06-06 21:25:48 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-06-06 21:25:48 +0000 |
commit | ccc722b7ed330198d82a3cf28ead76d6d107a70a (patch) | |
tree | 7611b3cc4f3ca681524fa28b174a0253eb802e0e /repo/openpgm/python3.patch | |
parent | 9ee32689f0b57b9e1de6d22c84ce8e3700b6122b (diff) |
added java
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 + |