From 7de1b1730575fbd615cafa16afa7e970b7bd508a Mon Sep 17 00:00:00 2001 From: Eric Froemling Date: Sun, 6 Oct 2019 08:44:59 -0700 Subject: [PATCH] more CI testing --- tools/update_project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/update_project b/tools/update_project index 9f5bafff..b03413af 100755 --- a/tools/update_project +++ b/tools/update_project @@ -1,4 +1,4 @@ -#!/usr/bin/env python3 +#!/usr/bin/env python3.7 """ This script acts as a 'meta' Makefile for the project. It is in charge of generating Makefiles, IDE project files, procedurally generated source