diff options
Diffstat (limited to 'test_rrobin_problem/synthesis/Makefile')
| -rw-r--r-- | test_rrobin_problem/synthesis/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test_rrobin_problem/synthesis/Makefile b/test_rrobin_problem/synthesis/Makefile index 70db7b8..5064f5d 100644 --- a/test_rrobin_problem/synthesis/Makefile +++ b/test_rrobin_problem/synthesis/Makefile @@ -49,6 +49,8 @@ check: @grep --with-filename "WARNING:Xst:737" $(BUILDDIR)/*.syr || echo -n @echo -e "\nUnassigned signals (653): " @grep --with-filename "WARNING:Xst:653" $(BUILDDIR)/*.syr || echo -n + @echo -e "\nInternal tristates (2042): " + @grep --with-filename "WARNING:Xst:2042" $(BUILDDIR)/*.syr || echo -n @echo -e "\nCombinatoric loops (2170): " @grep --with-filename "WARNING:Xst:2170" $(BUILDDIR)/*.syr || echo -n @echo -e "\nGated clocks (372): " |
