summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdebian/rules2
1 files changed, 1 insertions, 1 deletions
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