Update Makefile
diff --git a/Makefile b/Makefile index 090c420..f098c05 100644 --- a/Makefile +++ b/Makefile
@@ -99,7 +99,7 @@ verify-all-gl: $(dv-targets-gl) .PHONY: verify-all-gl-sdf -verify-all-gl-sdf: dv-targets-gl-sdf +verify-all-gl-sdf: $(dv-targets-gl-sdf) $(dv-targets-rtl): SIM=RTL $(dv-targets-rtl): verify-%-rtl: $(dv_base_dependencies)