Merge branch 'ART-19june' into '21.0'
reorganize python dir, rename art_local.py as art_build.py, add share/localSetup… See merge request !2772 Former-commit-id: ff55c54a6c279027dcd8bcfebcf546791afb3b4d
No related branches found
No related tags found
Showing
- Tools/ART/python/ART/__init__.py 6 additions, 0 deletionsTools/ART/python/ART/__init__.py
- Tools/ART/python/ART/art_base.py 17 additions, 21 deletionsTools/ART/python/ART/art_base.py
- Tools/ART/python/ART/art_build.py 99 additions, 0 deletionsTools/ART/python/ART/art_build.py
- Tools/ART/python/ART/art_grid.py 30 additions, 64 deletionsTools/ART/python/ART/art_grid.py
- Tools/ART/python/ART/art_header.py 110 additions, 0 deletionsTools/ART/python/ART/art_header.py
- Tools/ART/python/ART/art_misc.py 3 additions, 23 deletionsTools/ART/python/ART/art_misc.py
- Tools/ART/python/ART/docopt.py 0 additions, 0 deletionsTools/ART/python/ART/docopt.py
- Tools/ART/python/ART/docopt_dispatch.py 0 additions, 0 deletionsTools/ART/python/ART/docopt_dispatch.py
- Tools/ART/python/ART/parallelScheduler.py 1 addition, 1 deletionTools/ART/python/ART/parallelScheduler.py
- Tools/ART/python/ART/serialScheduler.py 1 addition, 1 deletionTools/ART/python/ART/serialScheduler.py
- Tools/ART/scripts/art-internal.py 19 additions, 48 deletionsTools/ART/scripts/art-internal.py
- Tools/ART/scripts/art-task-build.sh 41 additions, 0 deletionsTools/ART/scripts/art-task-build.sh
- Tools/ART/scripts/art-task-grid.sh 6 additions, 0 deletionsTools/ART/scripts/art-task-grid.sh
- Tools/ART/scripts/art.py 30 additions, 16 deletionsTools/ART/scripts/art.py
- Tools/ART/share/localSetupART.sh 2 additions, 0 deletionsTools/ART/share/localSetupART.sh
Loading
Please register or sign in to comment