Switch to unified view
| a/src/makesrcdist.sh | b/src/makesrcdist.sh | ||
|---|---|---|---|
| 1 | #!/bin/sh |
1 | #!/bin/sh |
| 2 | # @(#$Id: makesrcdist.sh,v 1.16 2008-11-21 16:43:42 dockes Exp $ (C) 2005 J.F.Dockes |
2 | # Copyright (C) 2005 J.F.Dockes |
| 3 | # A shell-script to make a recoll source distribution |
3 | # A shell-script to make a recoll source distribution |
| 4 | 4 | ||
| 5 | fatal() {
|
5 | fatal() {
|
| 6 | echo $* |
6 | echo $* |
| 7 | exit 1 |
7 | exit 1 |