Per #1546, moved time_command function into a file to be sourced by e…

…ach script that needs to use it

.github/jobs/bash_functions.sh

@@ -0,0 +1,16 @@
+#! /bin/bash
+
+# utility function to run command get log the time it took to run
+function time_command {
+  local start_seconds=$SECONDS
+  echo "RUNNING: $*"
+  "$@"
+  local error=$?
+
+  local duration=$(( SECONDS - start_seconds ))
+  echo "TIMING: Command took `printf '%02d' $(($duration / 60))`:`printf '%02d' $(($duration % 60))` (MM:SS): '$*'"
+  if [ ${error} -ne 0 ]; then
+    echo "ERROR: '$*' exited with status = ${error}"
+  fi
+  return $error
+}

.github/jobs/build_docker_image.sh

@@ -1,11 +1,6 @@
 #! /bin/bash
 
-# utility function to run command get log the time it took to run
-function time_command {
-  local start_seconds=$SECONDS
-  echo "RUNNING: $*"
-  "$@"
-  local error=$?
+source ${GITHUB_WORKSPACE}/.github/jobs/bash_functions.sh
 
   local duration=$(( SECONDS - start_seconds ))
   echo "TIMING: Command took `printf '%02d' $(($duration / 60))`:`printf '%02d' $(($duration % 60))` (MM:SS): '$*'"

.github/jobs/push_docker_image.sh

@@ -1,19 +1,6 @@
 #! /bin/bash
 
-# utility function to run command get log the time it took to run
-function time_command {
-  local start_seconds=$SECONDS
-  echo "RUNNING: $*"
-  "$@"
-  local error=$?
-
-  local duration=$(( SECONDS - start_seconds ))
-  echo "TIMING: Command took `printf '%02d' $(($duration / 60))`:`printf '%02d' $(($duration % 60))` (MM:SS): '$*'"
-  if [ ${error} -ne 0 ]; then
-    echo "ERROR: '$*' exited with status = ${error}"
-  fi
-  return $error
-}
+source ${GITHUB_WORKSPACE}/.github/jobs/bash_functions.sh
 
 prefix=refs/heads/
 branch_name=${GITHUB_REF#"$prefix"}