summaryrefslogtreecommitdiff
path: root/repo/php8/sharedir.patch
diff options
context:
space:
mode:
authordavidovski <david@davidovski.xyz>2022-08-29 13:01:02 +0000
committerdavidovski <david@davidovski.xyz>2022-08-29 13:01:02 +0000
commitc38dfe6188112ca490090966a63faefe5ec7e9a0 (patch)
tree0b5cb4f2b5148784d852070317d90485ab31e122 /repo/php8/sharedir.patch
parent49fa1762a5c52ff2cf981f29a45e1797e3885bb4 (diff)
added snes9x and php
Diffstat (limited to 'repo/php8/sharedir.patch')
-rw-r--r--repo/php8/sharedir.patch11
1 files changed, 11 insertions, 0 deletions
diff --git a/repo/php8/sharedir.patch b/repo/php8/sharedir.patch
new file mode 100644
index 0000000..7d5c104
--- /dev/null
+++ b/repo/php8/sharedir.patch
@@ -0,0 +1,11 @@
+--- a/php.ini-production
++++ b/php.ini-production
+@@ -742,7 +742,7 @@
+ ;;;;;;;;;;;;;;;;;;;;;;;;;
+
+ ; UNIX: "/path1:/path2"
+-;include_path = ".:/php/includes"
++include_path = ".:/usr/share/php8"
+ ;
+ ; Windows: "\path1;\path2"
+ ;include_path = ".;c:\php\includes"