Subversion Repositories DevTools

Rev

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

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