aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-10-09 14:31:14 +0100
committerYann Herklotz <git@yannherklotz.com>2021-10-09 14:31:14 +0100
commit11c5cc2ce59fe68959fe424fc04d4e947432abcb (patch)
treeb2dead8d966d4e07c6c274e0a8e5ba175a5022ec
parent0f7aef619bc13711f942108be97eb9966f7826e1 (diff)
downloadvericert-kvx-11c5cc2ce59fe68959fe424fc04d4e947432abcb.tar.gz
vericert-kvx-11c5cc2ce59fe68959fe424fc04d4e947432abcb.zip
Fix some of the testing in MakefileHEADmaster
-rw-r--r--test/Makefile6
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 $@ -- $<