This repository has been archived on 2026-09-10. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
webkit2gtk3/python2.patch

12 lines
849 B
Diff

diff -up webkitgtk-2.21.2/Source/WebInspectorUI/Scripts/copy-user-interface-resources.pl.python2 webkitgtk-2.21.2/Source/WebInspectorUI/Scripts/copy-user-interface-resources.pl
--- webkitgtk-2.21.2/Source/WebInspectorUI/Scripts/copy-user-interface-resources.pl.python2 2018-05-24 12:12:11.041670717 +0200
+++ webkitgtk-2.21.2/Source/WebInspectorUI/Scripts/copy-user-interface-resources.pl 2018-05-24 12:12:44.277550443 +0200
@@ -155,7 +155,7 @@ my $inspectorLicense = <<'EOF';
EOF
my $perl = $^X;
-my $python = ($OSNAME =~ /cygwin/) ? "/usr/bin/python" : "python";
+my $python = ($OSNAME =~ /cygwin/) ? "/usr/bin/python2" : "python2";
my $derivedSourcesDir = $ENV{'DERIVED_SOURCES_DIR'};
my $scriptsRoot = File::Spec->catdir($ENV{'SRCROOT'}, 'Scripts');
my $sharedScriptsRoot = File::Spec->catdir($ENV{'JAVASCRIPTCORE_PRIVATE_HEADERS_DIR'});