# Copyright 2008 Develer S.r.l. (http://www.develer.com/)
# All rights reserved.
#
-# $Id:$
+# $Id$
#
# Author: Lorenzo Berni <duplo@develer.com>
#
import glob
import re
import shutil
+# Use custom copytree function
+import copytree
import pickle
import const
# Destination source dir
srcdir = directory + "/bertos"
shutil.rmtree(srcdir, True)
- shutil.copytree(sources_dir + "/bertos", srcdir)
+ copytree.copytree(sources_dir + "/bertos", srcdir, ignore_list=const.IGNORE_LIST)
# Destination makefile
makefile = directory + "/Makefile"
if os.path.exists(makefile):