diff options
Diffstat (limited to 'lib_dir.patch')
| -rw-r--r-- | lib_dir.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lib_dir.patch b/lib_dir.patch deleted file mode 100644 index 991efdcfee61..000000000000 --- a/lib_dir.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/reddio -+++ b/reddio -@@ -173,7 +173,7 @@ - fi - - # Library path environment variable has precedence over config -- lib_dir=${REDDIO_LIB:-${lib_dir:-/usr/local/share/reddio}} -+ lib_dir=${REDDIO_LIB:-${lib_dir:-/usr/share/reddio}} - - # Make sure the lib directory can be found - [ -d "$lib_dir" ] || { |