Commit e68afb44 authored by Giovanni Mascellani's avatar Giovanni Mascellani

Merge branch 'build'

parents ddda0863 8b2c6faf
From: Giovanni Mascellani <mascellani@poisson.phc.unipi.it>
Subject: [PATCH] patch/pom.xml
Patch pom.xml in order to activate 1.4 source version
Signed-off-by: Giovanni Mascellani <mascellani@poisson.phc.unipi.it>
---
pom.xml | 8 ++++++++
1 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/pom.xml b/pom.xml
index c11a59f..2858561 100644
--- a/pom.xml
+++ b/pom.xml
@@ -43,6 +43,14 @@
</excludes>
</configuration>
</plugin>
+ <plugin>
+ <groupId>org.apache.maven.plugins</groupId>
+ <artifactId>maven-compiler-plugin</artifactId>
+ <configuration>
+ <source>1.4</source>
+ <target>1.4</target>
+ </configuration>
+ </plugin>
</plugins>
</build>
--
tg: (a39fc07..) patch/pom.xml (depends on: master)
patch/pom.xml.diff -p1
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment