diff options
Diffstat (limited to 'tests/or1200/run-fm.sh')
| -rw-r--r-- | tests/or1200/run-fm.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tests/or1200/run-fm.sh b/tests/or1200/run-fm.sh deleted file mode 100644 index 3023809c..00000000 --- a/tests/or1200/run-fm.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash -if [ -n "$REMOTE_YOSYS_ROOT" ]; then - rsync --exclude=".svn" --exclude="*.log" -rv -e "${REMOTE_YOSYS_SSH:-ssh} -C" "$REMOTE_YOSYS_ROOT"/tests/or1200/. . -fi -fm_shell -64 -file run-fm.do 2>&1 | tee run-fm.log |