From: Willem Visser <willem@gmail.com>
Date: Tue, 17 Apr 2018 11:48:48 +0000 (+0200)
Subject: First try for Travis
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=838465b7f0681a04e93dded0b1b0874e50db13e3

First try for Travis
---

diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..0f4d5f0
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,4 @@
+language: java
+script: 
+   - ant build
+   - ant test