1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 |
#!/bin/bash if [ ! -f "scripts/run-krazy.sh" ]; then echo "This script needs to be started from KAMD's root directory" exit fi DIRS=$1 if [ ! -n "$1" ]; then DIRS="lib service workspace" fi echo $DIRS CURRENT_DIRECTORY=$PWD for dir in $DIRS; do echo "Running krazy2 on $dir ..." cd $CURRENT_DIRECTORY/$dir && krazy2all --exclude license > /tmp/$dir.krazy done |