diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/checkwps/buildall.sh | 8 | ||||
-rwxr-xr-x | tools/checkwps/cleanall.sh | 6 |
2 files changed, 9 insertions, 5 deletions
diff --git a/tools/checkwps/buildall.sh b/tools/checkwps/buildall.sh index 23fc7ff7f4..4a6f11a419 100755 --- a/tools/checkwps/buildall.sh +++ b/tools/checkwps/buildall.sh | |||
@@ -1,8 +1,10 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | cat targets.txt | ( | 2 | rootdir=`dirname $0` |
3 | |||
4 | cat $rootdir/targets.txt | ( | ||
3 | while read target model | 5 | while read target model |
4 | do | 6 | do |
5 | rm -f checkwps.$model | 7 | rm -f $rootdir/checkwps.$model |
6 | make MODEL=$model TARGET=$target checkwps | 8 | make -s -C $rootdir MODEL=$model TARGET=$target checkwps |
7 | done | 9 | done |
8 | ) | 10 | ) |
diff --git a/tools/checkwps/cleanall.sh b/tools/checkwps/cleanall.sh index 6cd1a90676..8310878fd5 100755 --- a/tools/checkwps/cleanall.sh +++ b/tools/checkwps/cleanall.sh | |||
@@ -1,7 +1,9 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | cat targets.txt | ( | 2 | rootdir=`dirname $0` |
3 | |||
4 | cat $rootdir/targets.txt | ( | ||
3 | while read target model | 5 | while read target model |
4 | do | 6 | do |
5 | rm -f checkwps.$model | 7 | rm -f $rootdir/checkwps.$model |
6 | done | 8 | done |
7 | ) | 9 | ) |