diff options
| -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 | ( do rm -f checkwps.$model make -s -C $rootdir MODEL=$model TARGET=$target checkwps + mv $rootdir/checkwps.$model ./checkwps.$model > /dev/null 2>&1 done ) |