-
Yecheng Fu authored
instead of command line flags. '$' character has special meaning in make, prefer passing variables through process environment.
fda0edcd
instead of command line flags. '$' character has special meaning in make, prefer passing variables through process environment.