commit eb219e1130f443d0bf4803d701416670723cc949
Author: Vincent van Ravesteijn <[email protected]>
Date: Mon Feb 3 21:10:48 2014 +0100
CMake: Regenerate deleted gmo files
diff --git a/development/cmake/po/update-gmo.py
b/development/cmake/po/update-gmo.py
index 1be9575..8e0c108 100644
--- a/development/cmake/po/update-gmo.py
+++ b/development/cmake/po/update-gmo.py
@@ -3,5 +3,5 @@
###############
import sys, os, shutil
-if os.stat(sys.argv[1]).st_size > 0:
+if os.stat(sys.argv[1]).st_size > 0 or not os.path.isfile(sys.argv[3]):
shutil.copyfile(sys.argv[2], sys.argv[3])