Subversion Repositories DevTools

Rev

Rev 7447 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 7447 Rev 7452
Line 155... Line 155...
155 
if ($opt_skim && ! $opt_rtag_id)
 155 
if ($opt_skim && ! $opt_rtag_id)
156 
{
 156 
{
157 
    Error ("The skim option only operates with the rtagid option");
 157 
    Error ("The skim option only operates with the rtagid option");
158 
}
 158 
}
159 
 
 159 
 
160 
if ($opt_sbom_id && $opt_sbom_id !~ m/^[0-9]$/  ) {
 160 
if ($opt_sbom_id && $opt_sbom_id !~ m/^[0-9]+$/  ) {
161 
    Error ("sbom_id is not Numeric: $opt_sbom_id");
 161 
    Error ("sbom_id is not Numeric: $opt_sbom_id");
162 
}
 162 
}
163 
if ($opt_rtag_id && $opt_rtag_id !~ m/^[0-9]$/  ) {
 163 
if ($opt_rtag_id && $opt_rtag_id !~ m/^[0-9]+$/  ) {
164 
    Error ("rtag_id is not Numeric: $opt_rtag_id");
 164 
    Error ("rtag_id is not Numeric: $opt_rtag_id");
165 
}
 165 
}
166 
 
 166 
 
167 
#
 167 
#
168 
#   The extract option is special
 168 
#   The extract option is special