Verified Commit a3e75478 authored by Houtan Bastani's avatar Houtan Bastani
Browse files

fix bug when defining variable with value on the command line with -D option...

fix bug when defining variable with value on the command line with -D option (problem introduced in ee5fc6b1)
parent e7c9c26d
Pipeline #586 passed with stage
in 1 minute and 42 seconds