I believe that was its original global take. I say that because I remember first hearing of its $100 million earnings in the mid-90's when Robert Rodriguez made a name for himself by spending $7,000 on El Mariachi.
I wonder if they adjust that studios kick in money to have the film released theatrically? Like Blair Witch cost an additional $5M to clean up and release. Do they count that?
They spent a lot of money on El Mariachi at the time too, adding music, etc.