X-Git-Url: http://rtime.felk.cvut.cz/gitweb/omk.git/blobdiff_plain/df343958ee5dcaab918d76dd4a09b9d29ac7be0d..3087dbb8a36309ccee7449e800aa8745a586d4aa:/tests/headers/generated/runtest

diff --git a/tests/headers/generated/runtest b/tests/headers/generated/runtest
index 0a612c4..c7a6128 100755
--- a/tests/headers/generated/runtest
+++ b/tests/headers/generated/runtest
@@ -16,3 +16,8 @@ LC=$(find _build -wholename '*/lincan/lincan_config.h')
 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
+touch config.omk-default
+make
+stat $LC > stat.log2
+diff stat.log1 stat.log2 || error "Generated config changed without without reason"