comparison: main.cxx
main.cxx
- changeset 33
- fd35f6cb5f28
- parent 32
- d11a034aabfd
- child 34
- 0a9a5902beaa
equal
deleted
inserted
replaced
| 32:d11a034aabfd | 33:fd35f6cb5f28 |
|---|---|
| 159 } | 159 } |
| 160 | 160 |
| 161 char* ObjectFileName (str s) { | 161 char* ObjectFileName (str s) { |
| 162 // Locate the extension and chop it out | 162 // Locate the extension and chop it out |
| 163 unsigned int extdot = s.last ("."); | 163 unsigned int extdot = s.last ("."); |
| 164 if (extdot != s.len() && extdot >= s.len()-4) | 164 if (extdot >= s.len()-4) |
| 165 s.trim (s.len() - extdot); | 165 s.trim (s.len() - extdot); |
| 166 | 166 |
| 167 // Add new ".o" extension | 167 // Add new ".o" extension |
| 168 s += ".o"; | 168 s += ".o"; |
| 169 | 169 |
