diff options
| author | Andrew Waterman <aswaterman@gmail.com> | 2017-01-05 15:14:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-05 15:14:28 -0500 |
| commit | d69f4cb8653f4974374f98debf9ce2cc820a2b57 (patch) | |
| tree | cc6889cdc8877bcf4b1a8e8760c773e9ec0ef76f /Makefile | |
| parent | e641c398daa91d896ce37fbb73015c054a4e0b21 (diff) | |
| parent | b8057b191231dea4b973f1d5066f59afa3881dba (diff) | |
Merge pull request #38 from sifive/benchmarking
Benchmarking
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -64,7 +64,7 @@ openocd: $(openocd_dest)/bin/openocd $(toolchain_dest)/bin/$(target32)-gcc: $(toolchain_srcdir) mkdir -p $(toolchain32_wrkdir) - cd $(toolchain32_wrkdir); $(toolchain_srcdir)/configure --prefix=$(toolchain_dest) --with-arch=rv32ima --with-abi=ilp32 + cd $(toolchain32_wrkdir); $(toolchain_srcdir)/configure --prefix=$(toolchain_dest) --with-arch=rv32imac --with-abi=ilp32 $(MAKE) -C $(toolchain32_wrkdir) $(openocd_dest)/bin/openocd: $(openocd_srcdir) |