From 7854e28390f8aaa3a764ef89dbebcfbf5c058314 Mon Sep 17 00:00:00 2001
From: Michael Keppler <Michael.Keppler@gmx.de>
Date: Sat, 16 Sep 2023 17:37:39 +0200
Subject: [PATCH] Have a Maven default goal configured

That way any contributor can easily build by invoking maven without any
arguments, instead of going through the documentation to find the
correct command line.

Also this serves as documentation of being a good Maven project, since
it doesn't require "clean" to be used.
---
 pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pom.xml b/pom.xml
index 5678f2fca..3726c0a1f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -66,6 +66,7 @@
     </dependencies>
 
     <build>
+        <defaultGoal>verify</defaultGoal>
         <finalName>${project.artifactId}_${unqualifiedVersion}.${buildQualifier}</finalName>
         <testSourceDirectory>test</testSourceDirectory>
         <testResources>