diff: main.cxx
main.cxx
- changeset 33
- fd35f6cb5f28
- parent 32
- d11a034aabfd
- child 34
- 0a9a5902beaa
--- a/main.cxx Mon Jul 16 16:15:16 2012 +0300 +++ b/main.cxx Tue Jul 17 20:35:43 2012 +0300 @@ -161,7 +161,7 @@ char* ObjectFileName (str s) { // Locate the extension and chop it out unsigned int extdot = s.last ("."); - if (extdot != s.len() && extdot >= s.len()-4) + if (extdot >= s.len()-4) s.trim (s.len() - extdot); // Add new ".o" extension
