diff --git a/makefile b/makefile index b0c9a1070cefe50b5550ebf89dfa67803615b1ae..73b6378362a81b590391f70e64fd26d28184e2b3 100644 --- a/makefile +++ b/makefile @@ -28,5 +28,5 @@ HAL_TOP = socdebug_ahb lint_xm: @rm -rf $(LINT_DIR) @mkdir -p $(LINT_DIR) - cd $(LINT_DIR); xrun -hal -f $(DESIGN_VC) +debug "-timescale 1ps/1ps" -top $(HAL_TOP) $(HAL_WAIVE) $(LINT_NOCHECK) + cd $(LINT_DIR); xrun -hal -f $(DESIGN_VC) +debug "-timescale 1ns/1ps" -top $(HAL_TOP) $(HAL_WAIVE) $(LINT_NOCHECK)