2019-06-18 02:32:23 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
2019-06-18 16:15:14 +00:00
|
|
|
patch -p1 < make-4.2.1.patch
|
|
|
|
|
|
2019-06-18 02:32:23 +00:00
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr
|
|
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR="$1" install
|
2019-06-18 16:16:33 +00:00
|
|
|
|
|
|
|
|
# Remove all info files.
|
|
|
|
|
rm -rf "$1/usr/share/info"
|
