diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-19 13:12:29 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-19 13:12:29 +0100 |
| commit | 06746919eadeeb430bfb464d83847f982ea78540 (patch) | |
| tree | 9f2a1ce177e59497e3e9b38ce5cb7fe0a66cabbc /debian | |
| parent | 8faffcb73f356ac4a3c41ae3356be5fe26244b58 (diff) | |
Upstream version can contain dashes
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/purify_tarball | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/purify_tarball b/debian/purify_tarball index 52d54ac7..a453db06 100755 --- a/debian/purify_tarball +++ b/debian/purify_tarball @@ -6,7 +6,7 @@ CURDIR=`pwd` ORIG=$1 WORKDIR=`dirname $ORIG` ORIGFILE=`basename $ORIG` -VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.a-z]\+\)\.tar\.gz$/\1/"` +VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.a-z-]\+\)\.tar\.gz$/\1/"` cd $WORKDIR |