File tree 1 file changed +20
-0
lines changed
1 file changed +20
-0
lines changed Original file line number Diff line number Diff line change 18
18
BOARDS=" $BOARD "
19
19
fi
20
20
21
+ # create "clean" file list before build
22
+ find | grep -v .git | sort > /tmp/filelist.before
23
+
21
24
for BOARD in $BOARDS ; do
22
25
if [ -z " $TARGET " ]; then
23
26
TARGETS=" base hdmi2usb"
@@ -93,6 +96,23 @@ for BOARD in $BOARDS; do
93
96
echo " ---------------------------------------------"
94
97
BOARD=$BOARD TARGET=$TARGET make clean
95
98
echo " ============================================="
99
+
100
+ # create file list after make clean
101
+ find | grep -v .git | sort > /tmp/filelist.after
102
+
103
+ echo " "
104
+ echo " "
105
+ echo " "
106
+ if ! diff -u /tmp/filelist.before /tmp/filelist.after| grep -v " @@" | grep " +" > /dev/null; then
107
+ echo " - make clean did not leave any generated files behind"
108
+ else
109
+ echo " - make clean left these files behind"
110
+ echo " ============================================="
111
+ diff -u /tmp/filelist.before /tmp/filelist.after| grep -v " @@" | grep " +"
112
+ echo " ============================================="
113
+ exit 1
114
+ fi
115
+
96
116
done
97
117
)
98
118
done
You can’t perform that action at this time.
0 commit comments