[skip ci] minor change in deploy folder name

This commit is contained in:
Thomas Ferreira de Lima 2018-09-22 13:49:18 -04:00
parent 456c062ac0
commit ff6e818da8
No known key found for this signature in database
GPG Key ID: 43E98870EAA0A86E
1 changed files with 2 additions and 2 deletions

View File

@ -222,8 +222,8 @@ script:
python setup.py build;
python setup.py bdist_wheel;
python setup.py install;
mkdir -p deploy/dist;
cp -a dist deploy/dist;
mkdir -p deploy/dist-pymod;
cp -a dist/ deploy/dist-pymod;
python -c 'import klayout.db as db; print(dir(db))';
python -c 'import klayout.rdb as rdb; print(dir(rdb))';
python -c 'import klayout.tl as tl; print(dir(tl))';