diff --git a/imagefiles/dockcross b/imagefiles/dockcross index f275e80..9c21e44 100755 --- a/imagefiles/dockcross +++ b/imagefiles/dockcross @@ -150,31 +150,6 @@ if [ -z $DOCKER_HOST ]; then USER_IDS="-e BUILDER_UID=$( id -u ) -e BUILDER_GID=$( id -g ) -e BUILDER_USER=$( id -un ) -e BUILDER_GROUP=$( id -gn )" fi -#------------------------------------------------------------------------------ -# Command-line processing -# -if [[ $# == 0 ]]; then - command:help - exit -fi - -case $1 in - - --) - # Everything after this is the command-line to be executed - shift - ;; - - *) - # If this is a builtin command, execute it, otherwise fall through - if has command $1; then - command:$1 "${@:2}" # array slice skipping first element - exit $? - fi - ;; - -esac - #------------------------------------------------------------------------------ # Now, finally, run the command in a container #