From ebeca5daf261474106acc0a79f2e6fc5a5130788 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C4=90o=C3=A0n=20Tr=E1=BA=A7n=20C=C3=B4ng=20Danh?= Date: Wed, 12 Oct 2022 23:12:07 +0700 Subject: [PATCH] leatherman: ship catch.hpp again It wasn't built, so not bump revision. --- srcpkgs/leatherman/template | 1 + 1 file changed, 1 insertion(+) diff --git a/srcpkgs/leatherman/template b/srcpkgs/leatherman/template index accbed25c1d..f171f3e247b 100644 --- a/srcpkgs/leatherman/template +++ b/srcpkgs/leatherman/template @@ -34,5 +34,6 @@ leatherman-devel_package() { vmove usr/include vmove usr/lib/cmake vmove "usr/lib/*.so" + vinstall catch/inc/catch.hpp 644 usr/include/leatherman/vendor } }