From a524b484100aa1ed73f9f98eac72098d32648d70 Mon Sep 17 00:00:00 2001
From: Daan Hoogland <dahn@onecht.net>
Date: Fri, 22 Jan 2021 10:23:45 +0000
Subject: [PATCH] call codegenerator with python3

---
 tools/marvin/pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/marvin/pom.xml b/tools/marvin/pom.xml
index b33953607d2..8db1a0cf54f 100644
--- a/tools/marvin/pom.xml
+++ b/tools/marvin/pom.xml
@@ -69,7 +69,7 @@
                         </goals>
                         <configuration>
                             <workingDirectory>${basedir}/marvin</workingDirectory>
-                            <executable>python</executable>
+                            <executable>python3</executable>
                             <arguments>
                                 <argument>codegenerator.py</argument>
                                 <argument>-s</argument>
@@ -123,7 +123,7 @@
                                 </goals>
                                 <configuration>
                                     <workingDirectory>${basedir}/marvin</workingDirectory>
-                                    <executable>python</executable>
+                                    <executable>python3</executable>
                                     <arguments>
                                         <argument>codegenerator.py</argument>
                                         <argument>-e</argument>