diff options
Diffstat (limited to 'personal/mu/build')
-rwxr-xr-x | personal/mu/build | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/personal/mu/build b/personal/mu/build new file mode 100755 index 0000000..55d4897 --- /dev/null +++ b/personal/mu/build @@ -0,0 +1,14 @@ +#!/bin/sh -e + +autoreconf -if + +export MAKEINFO=true + +./configure \ + --prefix=/usr \ + --disable-webkit \ + --disable-rpath \ + --disable-shared + +make +make DESTDIR="$1" install |