diff --git a/deps-packaging/pkg-install-deb b/deps-packaging/pkg-install-deb index 111d18e3c..37c3f1c71 100755 --- a/deps-packaging/pkg-install-deb +++ b/deps-packaging/pkg-install-deb @@ -1,11 +1,13 @@ -#!/bin/sh -ex +#!/bin/sh -e # Installs given packages +. "$(dirname "$0")/../build-scripts/functions" if [ $# -eq 0 ]; then - echo "Usage: $0 [ ...]" - exit 1 + echo "Usage: $0 [ ...]" + exit 1 fi -sudo dpkg -i "$@" +log_debug "Installing packages: $*" +run_and_print_on_failure sudo dpkg -i "$@"