Merge pull request #146 from efabless/EF-3367-b

EF-3367-b - fix argument passing to precheck target