lib/update.utils
changeset 66 482d06935d96
parent 60 b65ce9123039
child 69 88a7683efc54
--- a/lib/update.utils	Wed Mar 21 18:43:56 2012 +0200
+++ b/lib/update.utils	Wed Mar 21 18:59:43 2012 +0200
@@ -16,6 +16,17 @@
     "$@" || die "Failed"
 }
 
+### Command execution
+## Execute command as a test, logging its execution at log_cmd
+#
+#   cmd_test $cmd... && ... || ...
+#
+# Fails if the command returns an error exit code.
+function cmd_test {
+    log_cmd "$@"
+
+    "$@"
+}
 ## Execute command, prefixing its output on stdout with given indent prefix.
 #
 #   indent  "    " $cmd...