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