diff --git a/clean.sh b/clean.sh deleted file mode 100755 index efde8b91f..000000000 --- a/clean.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env bash -set -e - -source `dirname "$0"`/config.sh - -if [ $# = 0 ] -then - recipes="--all" -else - recipes="$@" -fi - -repo clean $recipes diff --git a/fetch.sh b/fetch.sh deleted file mode 100755 index cd9acc9cb..000000000 --- a/fetch.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/env bash -set -e - -source `dirname "$0"`/config.sh - -# Intentionally empty to allow fetch and cook running in parallel diff --git a/unfetch.sh b/unfetch.sh deleted file mode 100755 index 4b7b62626..000000000 --- a/unfetch.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env bash -set -e - -source `dirname "$0"`/config.sh - -if [ $# = 0 ] -then - recipes="--all" -else - recipes="$@" -fi - -repo unfetch $recipes