From: Wolfgang Bangerth Date: Wed, 8 Nov 2017 20:15:18 +0000 (-0700) Subject: Set file permissions in the indentation script. X-Git-Tag: v9.0.0-rc1~796^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6ba9baedc0e4a7bde164161d0d077caa95fed38f;p=dealii.git Set file permissions in the indentation script. --- diff --git a/contrib/utilities/indent b/contrib/utilities/indent index 78a7263cfb..89382adeb9 100755 --- a/contrib/utilities/indent +++ b/contrib/utilities/indent @@ -20,6 +20,9 @@ # code base looks uniform, as uniformity helps make code easier to # read. # +# While we're already touching every file, this script also makes +# sure we set permissions correctly +# # The script needs to be executed as # ./contrib/utilities/indent # from the top-level directory of the source tree, or via @@ -57,6 +60,9 @@ fi # with up to 10 in parallel find tests include source examples \( -name '*.cc' -o -name '*.h' -o -name '*.cu' -o -name '*.cuh' \) -print | xargs -n 50 -P 10 astyle --options=contrib/styles/astyle.rc +# use the same process to set file permissions for all source files +find tests include source examples \( -name '*.cc' -o -name '*.h' -o -name '*.cu' -o -name '*.cuh' \) -print | xargs -n 50 -P 10 chmod 644 + # format .inst.in files. We need to replace \{ and \} because it confuses # astyle. format_inst()