tree f306695aadb321d5aac40c183cd1e1f6c0776b10
parent a241b6cb3c7d14da5b5cf5c2305f8f840af38f19
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1323707643 -0200
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1323707643 -0200

new way to handle -E option (write a mark in the registry to avoid
reading environment variables)