diff --git a/makefile b/makefile
index f40a3c4269d85f60a8740bd9c2e803cb708ae021..f209fec2b66946bde2a83d24fe55215e13bcf703 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); hal -f $(DESIGN_VC) +debug -XMVERILOGARGS "-timescale 1ps/1ps" -top $(HAL_TOP) $(HAL_WAIVE) $(LINT_NOCHECK)
+	cd $(LINT_DIR); xrun -hal -f $(DESIGN_VC) +debug "-timescale 1ps/1ps" -top $(HAL_TOP) $(HAL_WAIVE) $(LINT_NOCHECK)