Merge duplicated shader references

This commit is contained in:
Lubos Lenco 2016-01-17 22:38:46 +01:00
parent 77e58ee700
commit 7dcb080d49

View file

@ -3,6 +3,10 @@ import os
# Write khafile.js
def write_khafilejs(shader_references):
# Merge duplicates and sort
shader_references = sorted(list(set(shader_references)))
with open('khafile.js', 'w') as f:
f.write(
"""// Auto-generated