diff options
Diffstat (limited to 'scripts/sinit.sh')
| -rw-r--r-- | scripts/sinit.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/sinit.sh b/scripts/sinit.sh index a5a1c59..37371be 100644 --- a/scripts/sinit.sh +++ b/scripts/sinit.sh @@ -1,12 +1,17 @@ #!/bin/sh . ./.vars export DESTDIR=$prefix -git clone ${dist_dir}/sinit ${build_dir}/sinit +BUILD_DIR="${build_dir}/sinit" +if ! [ -d "$BUILD_DIR" ] ; then + git clone ${dist_dir}/sinit "$BUILD_DIR" +fi cd ${build_dir}/sinit cp config.mk config.mk.bak sed \ + -e'/^PREFIX.*$/d' \ -e's/^CC.*$/CC = musl-gcc/' \ < config.mk.bak > config.mk +echo "MANPREFIX = /usr/share/man" >> config.mk rm config.mk.bak make make install |
