tree b6abdd69100d6e5cb738775ae09eb2eb3ae0f262
parent c05aaf3bf003d57eed54523c8d122897067238ed
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1140191463 -0200
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1140191463 -0200

small change to strip file names when stripping debug information