From b941b463134b62962ebca656d5906bb3bcb07395 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 24 Apr 2018 15:40:01 +0200
Subject: fix opam packager script + dependencies

---
 etc/utils/packager | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'etc/utils')

diff --git a/etc/utils/packager b/etc/utils/packager
index d0c4b17..2bc5379 100755
--- a/etc/utils/packager
+++ b/etc/utils/packager
@@ -56,8 +56,8 @@ else
 # variables useful for package construction
   URLLINE="http: \"$ARCHIVEURL\""
   CHECKSUMLINE="checksum: \"$SUM\""
-  PKGS=$(ls -fs -d -1 $EXTRACTED/*/mathcomp/*/ \
-        | sed -r "s?.*mathcomp/([^/]+)/?\1?" \
+  PKGS=$(ls -fs -d -1 $EXTRACTED/*/mathcomp/*/opam \
+        | sed -r "s?.*mathcomp/([^/]+)/opam?\1?" \
         | paste -sd " " -)
   PKGPREFIX="$(git root)/opam/released/packages"
 fi
-- 
cgit v1.2.3