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