diff --git a/util/generate_amalgamation.py b/util/generate_amalgamation.py index b065892b..a0d8076f 100755 --- a/util/generate_amalgamation.py +++ b/util/generate_amalgamation.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 import sys from os.path import basename, dirname, join, realpath, isfile