|
Last change
on this file was 56, checked in by meunier, 13 years ago |
- Tried to fix a problem with echo
- Started to resolve some tests failing (often because of the test itself)
|
|
File size:
699 bytes
|
| Line | |
|---|
| 1 |
|
|---|
| 2 | include ../env.mk
|
|---|
| 3 | TRACE1 = trace_file_scass.vcd
|
|---|
| 4 | TRACE2 = trace_file_systemc.vcd
|
|---|
| 5 | ERASE = $(TRACE1) $(TRACE2)
|
|---|
| 6 | include ../Makefile.common
|
|---|
| 7 |
|
|---|
| 8 | TRACE = trace_file.vcd
|
|---|
| 9 | TRACE_REF = trace_file_reference.vcd
|
|---|
| 10 |
|
|---|
| 11 | test: all
|
|---|
| 12 | $(SILENCE)$(ECHO) -ne "| Testing $$(basename $$(pwd)): " ;
|
|---|
| 13 | $(SILENCE)./$(EXE_SCASS) > $(LOG_SCASS) 2> /dev/null
|
|---|
| 14 | $(SILENCE)mv $(TRACE) $(TRACE1)
|
|---|
| 15 | $(SILENCE)./$(EXE_SC) > $(LOG_SC) 2> /dev/null
|
|---|
| 16 | $(SILENCE)mv $(TRACE) $(TRACE2)
|
|---|
| 17 | $(SILENCE)if tail -n +8 $(TRACE1) | diff $(TRACE_REF) - > /dev/null ; then \
|
|---|
| 18 | if tail -n +8 $(TRACE2) | diff $(TRACE_REF) - > /dev/null ; then \
|
|---|
| 19 | $(ECHO) -e "$(OK)" ; \
|
|---|
| 20 | else \
|
|---|
| 21 | $(ECHO) -e "$(KO) 1" ; \
|
|---|
| 22 | fi ; \
|
|---|
| 23 | else \
|
|---|
| 24 | $(ECHO) -e "$(KO) 2" ; \
|
|---|
| 25 | fi ;
|
|---|
| 26 |
|
|---|
| 27 |
|
|---|
| 28 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
