diff options
Diffstat (limited to 'devel/gnatpython/files/patch-setup__helpers.py')
| -rw-r--r-- | devel/gnatpython/files/patch-setup__helpers.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/gnatpython/files/patch-setup__helpers.py b/devel/gnatpython/files/patch-setup__helpers.py new file mode 100644 index 000000000000..f2f2d841b2fa --- /dev/null +++ b/devel/gnatpython/files/patch-setup__helpers.py @@ -0,0 +1,11 @@ +--- setup_helpers.py.orig 2015-06-21 09:00:45 UTC ++++ setup_helpers.py +@@ -28,7 +28,7 @@ def build_scripts_gnatpython(root_dir='' + os.system('gcc -o %sscripts/rlimit %ssrc/rlimit/rlimit-NT.c' % + (root_dir, root_dir)) + else: +- os.system('gcc -o %sscripts/rlimit %ssrc/rlimit/rlimit.c' % ++ os.system('cc -o %sscripts/rlimit %ssrc/rlimit/rlimit.c' % + (root_dir, root_dir)) + + # Update the scripts list |