diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/checkwps/buildall.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/checkwps/buildall.sh b/tools/checkwps/buildall.sh index 4e7f23cf24..8d0ad9fd21 100755 --- a/tools/checkwps/buildall.sh +++ b/tools/checkwps/buildall.sh | |||
@@ -6,5 +6,6 @@ cat $rootdir/targets.txt | ( | |||
6 | do | 6 | do |
7 | rm -f checkwps.$model | 7 | rm -f checkwps.$model |
8 | make -s -C $rootdir MODEL=$model TARGET=$target checkwps | 8 | make -s -C $rootdir MODEL=$model TARGET=$target checkwps |
9 | mv $rootdir/checkwps.$model ./checkwps.$model > /dev/null 2>&1 | ||
9 | done | 10 | done |
10 | ) | 11 | ) |