diff options
author | Tim Newsome <tim@sifive.com> | 2016-07-18 09:57:37 -0700 |
---|---|---|
committer | Tim Newsome <tim@sifive.com> | 2016-07-19 11:24:25 -0700 |
commit | f254dce79dc5a278328699d65da2516545f5d31c (patch) | |
tree | 4548756c01d96cd9a6419b27b62e8a73aea3e452 /debug/testlib.py | |
parent | dc3bfcbc943ea9b3fc50c5737490d51865fbc8ab (diff) | |
download | riscv-tests-f254dce79dc5a278328699d65da2516545f5d31c.zip riscv-tests-f254dce79dc5a278328699d65da2516545f5d31c.tar.gz riscv-tests-f254dce79dc5a278328699d65da2516545f5d31c.tar.bz2 |
Add Makefile.
Add --isolate argument which enables the 32- and 64-bit spikes to be
tested simultaneously.
Diffstat (limited to 'debug/testlib.py')
-rw-r--r-- | debug/testlib.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/debug/testlib.py b/debug/testlib.py index e9b17d0..5e7f366 100644 --- a/debug/testlib.py +++ b/debug/testlib.py @@ -17,10 +17,8 @@ def find_file(path): return None def compile(args, xlen=32): - """Compile a single .c file into a binary.""" - dst = os.path.splitext(args[0])[0] cc = os.path.expandvars("$RISCV/bin/riscv%d-unknown-elf-gcc" % xlen) - cmd = [cc, "-g", "-o", dst] + cmd = [cc, "-g"] for arg in args: found = find_file(arg) if found: @@ -30,7 +28,6 @@ def compile(args, xlen=32): cmd = " ".join(cmd) result = os.system(cmd) assert result == 0, "%r failed" % cmd - return dst def unused_port(): # http://stackoverflow.com/questions/2838244/get-open-tcp-port-in-python/2838309#2838309 |