Move debug testing from all into debug-check target.

Fixes issue #30.

diff --git a/Makefile.in b/Makefile.in
index d2b088e85efe53a5d66abb62e7b6663b84c21f64..5afa084849adbd80bab205ad9e93fe3092f49e0c 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -6,7 +6,7 @@ bmarkdir        := $(abs_top_src_dir)/benchmarks
 isa_src_dir     := $(abs_top_src_dir)/isa
 debug_src_dir   := $(abs_top_src_dir)/debug
 
-all: benchmarks isa debug
+all: benchmarks isa
 
 install: all
        install -d $(instbasedir)/share/riscv-tests/isa
@@ -22,7 +22,7 @@ isa:
        mkdir -p isa
        $(MAKE) -C isa -f $(isa_src_dir)/Makefile src_dir=$(isa_src_dir) XLEN=$(XLEN)
 
-debug:
+debug-check:
        mkdir -p debug
        $(MAKE) -C debug -f $(debug_src_dir)/Makefile src_dir=$(debug_src_dir) XLEN=$(XLEN)