Merge pull request #30753 from Calinou/make-header-run-from-any-location

Make `make_header.py` functional when run from any location
This commit is contained in:
Rémi Verschelde 2019-07-22 21:37:25 +02:00 committed by GitHub
commit d8d85762c4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,9 +1,14 @@
#!/usr/bin/env python
import glob
import os
enc = "utf-8"
# Change to the directory where the script is located,
# so that the script can be run from any location
os.chdir(os.path.dirname(os.path.realpath(__file__)))
# Generate include files
f = open("theme_data.h", "wb")