-
Houtan Bastani authored
fix bug when defining variable with value on the command line with -D option (problem introduced in ee5fc6b1)
a3e75478
fix bug when defining variable with value on the command line with -D option (problem introduced in ee5fc6b1)