1 files changed, 0 insertions, 17 deletions
diff --git a/utils.sh b/utils.sh
deleted file mode 100644
index 67ddb38a8409..000000000000
--- a/utils.sh
+++ /dev/null
@@ -1,17 +0,0 @@
-# Utilities
-
-function source_pkg_config() {
-
-  local repository_name="$1"; shift
-
-  if [[ ! -f "${PATH_REPOSITORIES}/${repository_name}/.config" ]]; then
-    echo "The repository ${repository_name} has no config file."
-    exit 1
-  fi
-
-  source "${PATH_REPOSITORIES}/${repository_name}/.config"
-}
-
-function remove_tmp_files() {
-  rm "${PATH_REPOSITORIES}"/*.tmp
-}
-\ No newline at end of file