From 1c44cd617402e72470722c4b4fa434b199fd12fd Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 29 Oct 2016 21:26:23 -0400 Subject: Force using .NET 4.0 --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 03c5f4e3..3efea2cd 100755 --- a/debian/rules +++ b/debian/rules @@ -6,4 +6,4 @@ .PHONY: override_dh_auto_build override_dh_auto_build: - xbuild Source/Boogie.sln + xbuild /p:TargetFrameworkVersion=v4.0 Source/Boogie.sln -- cgit v1.2.3