2017-01-05 16:54:19 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2017-01-15 17:10:43 +00:00
|
|
|
cd /Users/mhaye/plat/tools/ProRWTS && make && \
|
|
|
|
|
cd /Users/mhaye/plat/tools/PLASMA/src && make vm && \
|
|
|
|
|
cd /Users/mhaye/plat/tools/PackPartitions && rm -f dist/PackPartitions.jar && ant jar
|
