diff options
author | Von Random <von@vdrandom.org> | 2018-12-18 16:50:11 +0300 |
---|---|---|
committer | Von Random <von@vdrandom.org> | 2018-12-18 16:50:11 +0300 |
commit | a7aed49cf3c36e77faa2135e854fcfb7375b3b6b (patch) | |
tree | 116dab0a5f73f96623d08e8ae1f226c3910facc5 | |
parent | 77f186c3c68403709234ad367fa55033a66de6dd (diff) |
do make install by default
-rwxr-xr-x | makest.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -28,4 +28,4 @@ for patch in $PATCHLIST; do patch -p1 -i ../$patch done -make $MAKE_OPTS $* +make $MAKE_OPTS ${*-install} |