Changeset 11528
- Timestamp:
- 2006-03-29T11:33:46+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gsdl/bin/script/gti.pl
r11526 r11528 1226 1226 1227 1227 # Map from chunk key to line 1228 $chunk_key_to_line_mapping{$chunk_key} = $startline . "-" . $i; 1228 if (!defined($chunk_key_to_line_mapping{$chunk_key})) { 1229 $chunk_key_to_line_mapping{$chunk_key} = $startline . "-" . $i; 1230 } 1231 else { 1232 &throw_fatal_error("Duplicate key $chunk_key."); 1233 } 1229 1234 } 1230 1235 }
Note:
See TracChangeset
for help on using the changeset viewer.