diff --git a/imagefiles/dockcross b/imagefiles/dockcross index 7299c17..51cc2c8 100755 --- a/imagefiles/dockcross +++ b/imagefiles/dockcross @@ -179,7 +179,7 @@ fi #------------------------------------------------------------------------------ # Now, finally, run the command in a container # -docker run --rm \ +docker run -t --rm \ -v $PWD:/work \ $USER_IDS \ $FINAL_ARGS \