Commit 9ca52a0d authored by Laurent Belcour's avatar Laurent Belcour

Correction of a bug in the extraction of unsupported part of Eigen

parent d36d2193
......@@ -11,6 +11,7 @@ if not os.path.exists(rep):
shutil.copytree('eigen-eigen-ffa86ffb5570' + os.sep + 'Eigen', rep)
#end
if not os.path.exists(rep + os.sep + 'unsupported'):
shutil.copytree('eigen-eigen-ffa86ffb5570' + os.sep + 'unsupported', rep + os.sep + 'Eigen' + os.sep+ 'unsupported')
unsup_rep = rep + os.sep+ 'unsupported'
if not os.path.exists(unsup_rep):
shutil.copytree('eigen-eigen-ffa86ffb5570' + os.sep + 'unsupported', unsup_rep)
#end
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment