diff options
Diffstat (limited to 'philip-make.sh')
-rwxr-xr-x | philip-make.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/philip-make.sh b/philip-make.sh index a6a6c73..50db10e 100755 --- a/philip-make.sh +++ b/philip-make.sh @@ -4,15 +4,18 @@ # mime type treatment removed # see src/HTInit.c +make clean +rm config.cache + ./configure \ --prefix="/usr" \ --sysconfdir="/etc" \ --mandir="/usr/share/man" \ --with-ssl="/usr" \ --enable-ipv6 \ - --enable-nls \ - --enable-externs + --enable-externs \ + --enable-nls make -sudo make install +doas make install |