diff options
Diffstat (limited to 'extra/fossil/build')
| -rwxr-xr-x | extra/fossil/build | 10 | 
1 files changed, 0 insertions, 10 deletions
| diff --git a/extra/fossil/build b/extra/fossil/build deleted file mode 100755 index ddb40e18..00000000 --- a/extra/fossil/build +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -e - -./configure \ -    --prefix=/usr \ -    --static - -make -make DESTDIR="$1" install - -install -Dm644 fossil.1 "$1/usr/share/man/man1/fossil.1" | 
