File tree 1 file changed +14
-13
lines changed
1 file changed +14
-13
lines changed Original file line number Diff line number Diff line change @@ -20,19 +20,20 @@ TMP="/tmp/$$"
20
20
21
21
[ " X$1 " != " X-n" ] && PGCLEAN=clean
22
22
23
- # run make check, capture return code in $TMP/ret, then display
24
- # that but capture it in $TMP/0 too, and return original make
25
- # error code. If that succeded, display captured warnings
26
-
27
- ($MAKE $PGCLEAN check 2>&1 ; echo " $? " > $TMP /ret) |
28
- (tee $TMP /0; exit ` cat $TMP /ret` ) &&
29
- cat $TMP /0 |
30
- # The following grep's have to be adjusted for your setup because
31
- # certain warnings are acceptable.
32
- grep -i warning |
33
- grep -v setproctitle |
34
- grep -v find_rule |
35
- grep -v yy_flex_realloc
23
+ # Run "make check" and store return code in $TMP/ret.
24
+ # Display output but also capture it in $TMP/0.
25
+ ($MAKE $PGCLEAN check 2>&1 ; echo " $? " > $TMP /ret) | tee $TMP /0
26
+
27
+ # If success, display warnings
28
+ if [ $( cat $TMP /ret) -eq 0 ]
29
+ then cat $TMP /0 |
30
+ # The following grep's have to be adjusted for your setup because
31
+ # certain warnings are acceptable.
32
+ grep -i warning |
33
+ grep -v setproctitle |
34
+ grep -v find_rule |
35
+ grep -v yy_flex_realloc
36
+ fi
36
37
37
38
# return original make error code
38
39
exit ` cat $TMP /ret`
You can’t perform that action at this time.
0 commit comments