Subversion Repositories DevTools

Rev

Rev 315 | Rev 321 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 315 Rev 317
Line 7853... Line 7853...
7853 
    {
 7853 
    {
7854 
        if ( /^--Target/ ) {                     # Arguments
 7854 
        if ( /^--Target/ ) {                     # Arguments
7855 
            if ( $platform ) {
 7855 
            if ( $platform ) {
7856 
                $arguments{$platform}{'Target'} = 1;
 7856 
                $arguments{$platform}{'Target'} = 1;
7857 
            } else {
 7857 
            } else {
7858 
                Warning ("No Platform preceedig platform option: $_");
 7858 
                Warning ("No Platform preceding platform option: $_");
7859 
            }
 7859 
            }
7860 
 
 7860 
 
7861 
        } elsif ( /^--Only(Prod)|(Debug)/ || /--board=/ ) {
 7861 
        } elsif ( /^--Only(Prod)|(Debug)/ || /--board=/ ) {
7862 
            # Known arguments
 7862 
            # Known arguments
7863 
            # Bit of a kludge. Must be a better way
 7863 
            # Bit of a kludge. Must be a better way