diff options
Diffstat (limited to 'tools/checkwps/buildall.sh')
-rwxr-xr-x | tools/checkwps/buildall.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/checkwps/buildall.sh b/tools/checkwps/buildall.sh index a7eb1b7244..086d81bf48 100755 --- a/tools/checkwps/buildall.sh +++ b/tools/checkwps/buildall.sh | |||
@@ -40,12 +40,18 @@ then | |||
40 | exit | 40 | exit |
41 | fi | 41 | fi |
42 | 42 | ||
43 | echo > checkwps.failures | ||
44 | |||
43 | awk -f $rootdir/parse_configure.awk $rootdir/../configure | ( | 45 | awk -f $rootdir/parse_configure.awk $rootdir/../configure | ( |
44 | while read target model | 46 | while read target model |
45 | do | 47 | do |
46 | make -j $jobs clean | 48 | make -j $jobs clean |
47 | $toolsdir/configure --target=$model --type=C --ram=32 --lcdwidth=100 --lcdheight=100 # 32 should always give default RAM, assume 100x100 for RaaA for now | 49 | $toolsdir/configure --target=$model --type=C --ram=32 --lcdwidth=100 --lcdheight=100 # 32 should always give default RAM, assume 100x100 for RaaA for now |
48 | make -j $jobs | 50 | make -j $jobs |
49 | mv checkwps.$model $outdir | 51 | if [ -f checkwps.$model ] ; then |
52 | mv checkwps.$model $outdir | ||
53 | else | ||
54 | echo "checkwps.$model" >> checkwps.failures | ||
55 | fi | ||
50 | done | 56 | done |
51 | ) | 57 | ) |