]> source.dussan.org Git - jgit.git/commitdiff
Add "resources/" as a source folder 10/810/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sat, 5 Jun 2010 12:39:27 +0000 (14:39 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sat, 5 Jun 2010 12:39:27 +0000 (14:39 +0200)
Building jgit with pde.build was broken without resources.

Bug:315823
Change-Id: I45be510ada068b3ffab0feb30ec60f2c96a5ca32
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/build.properties

index d944674ba0b2d63b3a7b1a112347309e5a659ee2..0b8f825bf014e1819800906e438f9dce2085aeab 100644 (file)
@@ -1,6 +1,7 @@
-source.. = src/
+source.. = src/,\
+               resources/
 output.. = bin/
 bin.includes = META-INF/,\
                .,\
                about.html,\
-               plugin.properties
+               plugin.properties
\ No newline at end of file