|
Last change
on this file since 58 was
56,
checked in by meunier, 11 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 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
