diff options
Diffstat (limited to 'lib_dir.patch')
| -rw-r--r-- | lib_dir.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib_dir.patch b/lib_dir.patch new file mode 100644 index 000000000000..991efdcfee61 --- /dev/null +++ b/lib_dir.patch @@ -0,0 +1,11 @@ +--- 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" ] || { |