Fix cross compilation issue

ref. plasma-umass/doppio#497 (comment)
bricolages · Mar 31, 2020 · ce5131b · ce5131b
1 parent 7dd312c
commit ce5131b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -26,6 +26,9 @@
             <plugin>
                 <artifactId>maven-compiler-plugin</artifactId>
                 <version>3.8.1</version>
+                <configuration>
+                    <release>8</release>
+                </configuration>
             </plugin>
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>