Copy Catch header as part of build process

Signed-off-by: Ian Bell <ian.h.bell@gmail.com>
This commit is contained in:
Ian Bell
2014-06-08 21:15:16 +02:00
parent b5c447ed6b
commit 6b27b5675e

View File

@@ -102,6 +102,9 @@ if __name__=='__main__':
path = os.path.abspath(__file__)
path = os.path.dirname(path)
path = os.path.dirname(path)
import shutil
shutil.copy2(os.path.join('..','externals','Catch','single_include','catch.hpp'),os.path.join('..','include','catch.hpp'))
version_to_file(root_dir = path)
gitrev_to_file(root_dir = path)