Last change
on this file since 64 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:
712 bytes
|
Rev | Line | |
---|
[55] | 1 | |
---|
[1] | 2 | include ../env.mk |
---|
[55] | 3 | TRACE1 = trace_file_scass.vcd |
---|
| 4 | TRACE2 = trace_file_systemc.vcd |
---|
| 5 | ERASE = $(TRACE1) $(TRACE2) |
---|
| 6 | include ../Makefile.common |
---|
[1] | 7 | |
---|
[55] | 8 | TRACE = trace_file.vcd |
---|
| 9 | TRACE_REF = trace_file_reference.vcd |
---|
[1] | 10 | |
---|
[56] | 11 | # Les traces SC et SCASS diffÚrent (maj de o1 sur le front montant dans SCASS), du coup on ne vérifie que la trace SystemCass |
---|
| 12 | |
---|
[55] | 13 | test: all |
---|
[56] | 14 | $(SILENCE)$(ECHO) -ne "| Testing $$(basename $$(pwd)): " ; |
---|
| 15 | $(SILENCE)./$(EXE_SCASS) > $(LOG_SCASS) 2> /dev/null |
---|
| 16 | $(SILENCE)mv $(TRACE) $(TRACE1) |
---|
| 17 | $(SILENCE)./$(EXE_SC) > $(LOG_SC) 2> /dev/null |
---|
| 18 | $(SILENCE)mv $(TRACE) $(TRACE2) |
---|
| 19 | $(SILENCE)if tail -n +11 $(TRACE1) | diff $(TRACE_REF) - > /dev/null ; then \ |
---|
| 20 | $(ECHO) -e "$(OK)" ; \ |
---|
[55] | 21 | else \ |
---|
[56] | 22 | $(ECHO) -e "$(KO) 2" ; \ |
---|
[55] | 23 | fi ; |
---|
[1] | 24 | |
---|
| 25 | |
---|
Note: See
TracBrowser
for help on using the repository browser.