Created by: nilayvaish
This variable is not used anywhere else other than in the file options.c. Before it is used, it is always set. So no need to provide a default initialization. This shaves 27,136 bytes from the size of the statically compiled library.
Before: -r-xr-xr-x 1 nilayvaish eng 3026934 Nov 23 14:08 libdynamorio.a After: -r-xr-xr-x 1 nilayvaish eng 2999798 Nov 23 14:03 libdynamorio.a