diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 14:31:14 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 14:31:14 +0100 |
commit | 11c5cc2ce59fe68959fe424fc04d4e947432abcb (patch) | |
tree | b2dead8d966d4e07c6c274e0a8e5ba175a5022ec | |
parent | 0f7aef619bc13711f942108be97eb9966f7826e1 (diff) | |
download | vericert-kvx-master.tar.gz vericert-kvx-master.zip |
-rw-r--r-- | test/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/Makefile b/test/Makefile index f161386..9413c70 100644 --- a/test/Makefile +++ b/test/Makefile @@ -12,13 +12,13 @@ all: $(TESTS) @./$< ; echo "$$?" >$@ %.o: %.c - @$(CC) $(CFLAGS) -c $< -o $@ + @$(CC) $(CFLAGS) -c -o $@ $< %.gcc: %.o - @$(CC) $(CFLAGS) $< -o $@ + @$(CC) $(CFLAGS) -o $@ $< %.v: %.c - @$(VERICERT) $(VERICERT_OPTS) $< -o $@ + @$(VERICERT) $(VERICERT_OPTS) -o $@ $< %.iver: %.v @$(IVERILOG) $(IVERILOG_OPTS) -o $@ -- $< |