File tree Expand file tree Collapse file tree 1 file changed +13
-3
lines changed Expand file tree Collapse file tree 1 file changed +13
-3
lines changed Original file line number Diff line number Diff line change @@ -19,15 +19,25 @@ mkdir /tmp/$$
1919TMP=" /tmp/$$ "
2020
2121if [ " X$1 " != " X-n" ]
22- then PGCLEAN=clean
23- else shift
22+ then CLEAN=" Y"
23+ else CLEAN=" "
24+ shift
2425fi
2526
2627rm -f tmp_install/log/install.log
2728
2829# Run "make check" and store return code in $TMP/ret.
2930# Display output but also capture it in $TMP/0.
30- ($MAKE " $@ " $PGCLEAN check 2>&1 ; echo " $? " > $TMP /ret) | tee $TMP /0
31+ (
32+ if [ " $CLEAN " ]
33+ then $MAKE " $@ " clean 2>&1
34+ echo " $? " > $TMP /ret
35+ fi
36+ if [ $( cat $TMP /ret) -eq 0 ]
37+ then $MAKE " $@ " 2>&1 && $MAKE " $@ " check 2>&1
38+ echo " $? " > $TMP /ret
39+ fi
40+ ) | tee $TMP /0
3141
3242# Grab possible warnings from install.log
3343[ -e tmp_install/log/install.log ] && cat tmp_install/log/install.log >> $TMP /0
You can’t perform that action at this time.
0 commit comments