diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-08-08 20:30:50 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-08-08 20:30:50 +0200 |
| commit | f4a1906721507c512050f62080a999c4147d92d6 (patch) | |
| tree | 092fb5c922a6b87f5aa72be3b55d8d48142e611a /tests/gen-tests-makefile.sh | |
| parent | 6c65ca4e50cc6712d9293b9630afdf67af89ef61 (diff) | |
| download | yosys-f4a1906721507c512050f62080a999c4147d92d6.tar.gz yosys-f4a1906721507c512050f62080a999c4147d92d6.tar.bz2 yosys-f4a1906721507c512050f62080a999c4147d92d6.zip | |
support file locations containing spaces
Diffstat (limited to 'tests/gen-tests-makefile.sh')
| -rwxr-xr-x | tests/gen-tests-makefile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/gen-tests-makefile.sh b/tests/gen-tests-makefile.sh index ab8fb7013..cde9ab1b9 100755 --- a/tests/gen-tests-makefile.sh +++ b/tests/gen-tests-makefile.sh @@ -17,7 +17,7 @@ generate_target() { generate_ys_test() { ys_file=$1 yosys_args=${2:-} - generate_target "$ys_file" "$YOSYS_BASEDIR/yosys -ql ${ys_file%.*}.log $yosys_args $ys_file" + generate_target "$ys_file" "\"$YOSYS_BASEDIR/yosys\" -ql ${ys_file%.*}.log $yosys_args $ys_file" } # $ generate_bash_test bash_file |