test -f "$LC" || canttest "Can't find the produced local config"
grep -Fv "/* config file:" $LC | diff -u correct/lincan_config.h - || error "Local config differs"
-stat $LC > stat.log1
+TLC=$(find _build -name 'toplevel_config.h')
+test -f "$TLC" || canttest "Can't find the produced local config"
+grep -Fv "/* config file:" $TLC | diff -u correct/toplevel_config.h - || error "Toplevel local config differs"
+
+stat -c '%z' $LC > stat.log1
+sleep 1
touch config.omk-default
make
-stat $LC > stat.log2
+stat -c '%z' $LC > stat.log2
diff stat.log1 stat.log2 || error "Generated config changed without without reason"