diff options
Diffstat (limited to 'testing/nimrod/prefix-install.patch')
| -rw-r--r-- | testing/nimrod/prefix-install.patch | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/testing/nimrod/prefix-install.patch b/testing/nimrod/prefix-install.patch deleted file mode 100644 index b4581ffb5b..0000000000 --- a/testing/nimrod/prefix-install.patch +++ /dev/null @@ -1,38 +0,0 @@ -diff --git a/tools/niminst/install.tmpl b/tools/niminst/install.tmpl -index 437e13dfb5e9..786746b4f126 100644 ---- a/tools/niminst/install.tmpl -+++ b/tools/niminst/install.tmpl -@@ -28,28 +28,12 @@ if [ $# -eq 1 ] ; then - echo "sh deinstall.sh DIR" - exit 1 - ;; -- "/usr/bin") -- bindir=/usr/bin -- configdir=/etc -- libdir=/usr/lib/?proj -- docdir=/usr/share/?proj/doc -- datadir=/usr/share/?proj/data -- ;; -- "/usr/local/bin") -- bindir=/usr/local/bin -- configdir=/etc -- libdir=/usr/local/lib/?proj -- docdir=/usr/local/share/?proj/doc -- datadir=/usr/local/share/?proj/data -- ;; - *) -- bindir="$1/?proj/bin" -- configdir="$1/?proj/config" -- libdir="$1/?proj/lib" -- docdir="$1/?proj/doc" -- datadir="$1/?proj/data" -- -- mkdir -p $1/?proj -+ bindir="$1"/usr/bin -+ configdir="$1"/etc -+ libdir="$1"/usr/lib/?proj -+ docdir="$1"/usr/share/doc/?proj -+ datadir="$1"/usr/share/?proj/data - mkdir -p $bindir - mkdir -p $configdir - ;; |