diff options
-rw-r--r-- | meta/recipes-devtools/gcc/gcc-cross.inc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/meta/recipes-devtools/gcc/gcc-cross.inc b/meta/recipes-devtools/gcc/gcc-cross.inc index e7a5e41be..6d160d659 100644 --- a/meta/recipes-devtools/gcc/gcc-cross.inc +++ b/meta/recipes-devtools/gcc/gcc-cross.inc @@ -45,7 +45,6 @@ do_compile () { # append execution part of the script cat >> ${B}/${TARGET_PREFIX}testgcc << STOP target="\$1" -shift usage () { echo "Usage:" echo "\$0 user@target 'extra options to dejagnu'" @@ -60,11 +59,13 @@ usage () { } if [ "x\$target" = "x" ] then - echo "Please specify the target machine and remote user in form of user@target" + echo "Please specify the target machine and remote user in form of user@target\n" usage exit 1; fi +shift + echo "\$target" | grep "@" 2>&1 > /dev/null if [ "x\$?" = "x0" ] then |