Commit 794113de authored by MARCHE Claude's avatar MARCHE Claude

do not set -w on provers-detection-data

parent 933c5de2
......@@ -678,7 +678,7 @@ AC_CONFIG_FILES(lib/why3/META)
AC_CONFIG_FILES(src/jessie/Makefile)
AC_CONFIG_COMMANDS([chmod],
chmod a-w Makefile src/config.sh doc/version.tex;
chmod a-w share/provers-detection-data.conf lib/why3/META;
chmod a-w lib/why3/META;
chmod a-w src/jessie/Makefile;
chmod u+x src/config.sh)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment