Use double quotes for all strings

diff --git a/build.py b/build.py
index 4b34f1481c1a9f7a17542f8b21e640c77fce84b2..7559f11d62530c44dd01a28183b8e4809b8dad0d 100644 (file)
--- a/build.py
+++ b/build.py
@@ -22,7 +22,7 @@ os.system("rm -rf build/*")
 os.chdir("build")
 
 def str2file(filename, contents):
-       f = open(filename, 'w')
+       f = open(filename, "w")
        f.write(contents)
        f.close()