fix build

2013-12-13 10:43:12 +08:00
parent ae1e349647
commit e979895006
1 changed files with 14 additions and 0 deletions
@@ -0,0 +1,14 @@
+language: php
+
+php:
+  - 5.5
+  - 5.4
+  - 5.3
+  - 5.2
+
+jdk:
+  - openjdk7
+
+install: make get-deps
+script: cd ./tools/ && make all
+