diff --git a/bin/test.sh b/bin/test.sh index 94ba6565c6e71114ad9fd924a78369c49c342d46..38c333097fb85279496f50b8a653845f7e4c45a6 100755 --- a/bin/test.sh +++ b/bin/test.sh @@ -350,7 +350,7 @@ function CheckDuneFiles then GenerateDuneFiles else - DATE_TEST_MODIFICATION=$(find $TESTS -type f \ + DATE_TEST_MODIFICATION=$(find -L $TESTS -type f \ -not -path "*/result*/*" \ -not -path "*/oracle*/*" \ -exec stat --printf "%Y\n" {} \+ | \