From 6e368657c7262e4766e7c380a4efe6199c2041a0 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 2 Aug 2021 15:13:45 +0200 Subject: [PATCH] orb: sh with more debug --- packages/orb.0.0.1~dev/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/orb.0.0.1~dev/opam b/packages/orb.0.0.1~dev/opam index a441008..e640518 100644 --- a/packages/orb.0.0.1~dev/opam +++ b/packages/orb.0.0.1~dev/opam @@ -19,8 +19,8 @@ depends: [ build: [ ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] - ["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"} - ["sh" "packaging/debian/create_package.sh"] {os-family = "debian"} + ["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"} + ["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"} ] dev-repo: "git+https://github.com/roburio/orb.git" url {