diff options
| author | Cyril Cohen | 2020-06-09 17:09:34 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-09 17:09:34 +0200 |
| commit | 313e44316177c918b363c118f15297e08d13eb4e (patch) | |
| tree | 336033429d069cba5440c05bab911d74129b059c /etc/utils | |
| parent | 06c58fed334edaccc85c0c58ad6d6f8765bf42ab (diff) | |
removing opam `| (= "dev")` for released packages
Diffstat (limited to 'etc/utils')
| -rwxr-xr-x | etc/utils/packager | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/utils/packager b/etc/utils/packager index 220a31a..ef6c7e5 100755 --- a/etc/utils/packager +++ b/etc/utils/packager @@ -80,6 +80,7 @@ do pkgdir="$PKGPREFIX/coq-mathcomp-$pkg/coq-mathcomp-$pkg.$VERSION" echo $URLLINE >> $pkgdir/opam if [ $VERSION != "dev" ] then echo $CHECKSUMLINE >> $pkgdir/opam + sed -r "s/\|[[:space:]]*\(=[[:space:]]*\"dev\"[[:space:]]*\)//" -i $pkgdir/opam fi echo "}" >> $pkgdir/opam done |