]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Set file permissions in the indentation script. 5428/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 8 Nov 2017 20:15:18 +0000 (13:15 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Wed, 8 Nov 2017 20:15:18 +0000 (13:15 -0700)
contrib/utilities/indent

index 78a7263cfbb963532f5f2dae00aae687fe892b17..89382adeb925dc93bd274a8a0b15fb632fdbb296 100755 (executable)
@@ -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()

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.