try again

diff --git a/core/resources/build.properties b/core/resources/build.properties
index 4897a420db97c7e2d83ceafb289c794d8e337247..d12cc3a34a5b8e6572a5d12244d6b49f733aa7bb 100644 (file)
--- a/core/resources/build.properties
+++ b/core/resources/build.properties
@@ -8,9 +8,9 @@ build.version=12.03
 # distribution (Debian, Fedora etc.), this should be changed appropriately!
 # This is included in bug reports to identify the source of the software.
 
-build.source=Debian
+build.source=default
 
 
 # Whether checking for updates is enabled by default.
 
-build.checkupdates=false
+build.checkupdates=true

diff --git a/debian/patches/debian-build.source.diff b/debian/patches/debian-build.source.diff
index a0d51cc8e6f9d7159555135c0ff4f71c41ba50e2..cd65067567dee202a2394a3dacd3b571e1ab67b0 100644 (file)
--- a/debian/patches/debian-build.source.diff
+++ b/debian/patches/debian-build.source.diff
@@ -14,21 +14,3 @@ index d12cc3a..4897a42 100644
  
 -build.checkupdates=true
 +build.checkupdates=false
-diff --git a/debian/patches/debian-build.source.diff b/debian/patches/debian-build.source.diff
-index 2152340..e69de29 100644
---- a/debian/patches/debian-build.source.diff
-+++ b/debian/patches/debian-build.source.diff
-@@ -1,13 +0,0 @@
--diff --git a/core/resources/build.properties b/core/resources/build.properties
--index 73ec3d0..e0cd5fa 100644
----- a/core/resources/build.properties
--+++ b/core/resources/build.properties
--@@ -8,7 +8,7 @@ build.version=1.0.0
-- # distribution (Debian, Fedora etc.), this should be changed appropriately!
-- # This is included in bug reports to identify the source of the software.
-- 
---build.source=default
--+build.source=Debian
-- 
-- 
-- # Whether checking for updates is enabled by default.