diff options
| author | Ryan Scott <rscott@galois.com> | 2023-01-06 09:54:14 -0600 |
|---|---|---|
| committer | Julie Schwartz <quark@bluespec.com> | 2023-01-10 15:52:03 +1300 |
| commit | 201eef8ce787d274e204d1d4ac9354a2183e10b0 (patch) | |
| tree | 8fa5e963e1d49f39490c580964f23214f7524d70 | |
| parent | de3a575604d1418d29a441454fb0667b5415958b (diff) | |
| download | bsc-201eef8ce787d274e204d1d4ac9354a2183e10b0.tar.gz bsc-201eef8ce787d274e204d1d4ac9354a2183e10b0.tar.bz2 bsc-201eef8ce787d274e204d1d4ac9354a2183e10b0.zip | |
Testsuite: Fix syntax error in `bsc2bsv` command
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 #531.
| -rw-r--r-- | testsuite/config/unix.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/config/unix.exp b/testsuite/config/unix.exp index d9ecdef1..1fbb2d93 100644 --- a/testsuite/config/unix.exp +++ b/testsuite/config/unix.exp @@ -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] |