|
@@ -84,6 +84,13 @@ while read sympath; do
|
|
depfile="include/config/ksym/${sympath}.h"
|
|
depfile="include/config/ksym/${sympath}.h"
|
|
mkdir -p "$(dirname "$depfile")"
|
|
mkdir -p "$(dirname "$depfile")"
|
|
touch "$depfile"
|
|
touch "$depfile"
|
|
|
|
+ # Filesystems with coarse time precision may create timestamps
|
|
|
|
+ # equal to the one from a file that was very recently built and that
|
|
|
|
+ # needs to be rebuild. Let's guard against that by making sure our
|
|
|
|
+ # dep files are always newer than the first file we created here.
|
|
|
|
+ while [ ! "$depfile" -nt "$new_ksyms_file" ]; do
|
|
|
|
+ touch "$depfile"
|
|
|
|
+ done
|
|
echo $((count += 1))
|
|
echo $((count += 1))
|
|
done | tail -1 )
|
|
done | tail -1 )
|
|
changed=${changed:-0}
|
|
changed=${changed:-0}
|