diff options
author | davidovski <david@davidovski.xyz> | 2022-08-29 13:01:02 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-08-29 13:01:02 +0000 |
commit | c38dfe6188112ca490090966a63faefe5ec7e9a0 (patch) | |
tree | 0b5cb4f2b5148784d852070317d90485ab31e122 /repo/php8/sharedir.patch | |
parent | 49fa1762a5c52ff2cf981f29a45e1797e3885bb4 (diff) |
added snes9x and php
Diffstat (limited to 'repo/php8/sharedir.patch')
-rw-r--r-- | repo/php8/sharedir.patch | 11 |
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" |