Skip to content

Commit

Permalink
Testsuite: Fix syntax error in bsc2bsv command
Browse files Browse the repository at this point in the history
There was a missing space in the command that invokes `bsc2bsv`, which resulted
in a syntax error when trying to use it.

With this patch applied, I am able to run the `b611` test case successfully.

Fixes B-Lang-org#531.
  • Loading branch information
RyanGlScott committed Jan 6, 2023
1 parent de3a575 commit b287fcb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion testsuite/config/unix.exp
Original file line number Diff line number Diff line change
Expand Up @@ -1077,7 +1077,7 @@ proc bsc2bsv {source} {
set output [make_bsc2bsv_output_name $source]
set cmd "$bsc2bsv $source >& $output"
verbose "Executing: $cmd" 4
set status [exec_with_log "bsc2bsv"$cmd 2]
set status [exec_with_log "bsc2bsv" $cmd 2]

cd $here
return [expr $status == 0]
Expand Down

0 comments on commit b287fcb

Please sign in to comment.