Merge branch 'pmderodat/minor' into 'master'

Minor reformattings

See merge request eng/cov/gnatcoverage!242

Following changes for eng/cov/gnatcoverage#69

Author: pmderodat

tools/gnatcov/Makefile

@@ -168,32 +168,32 @@ bin:
 	fi
 
 ifdef INSTRUMENTED
-  # We need to instrument and build at the same time: the driver and gnatcov32
-  # builds share the same object directory, meaning that gnatcov will remove
-  # files resulting from the instrumentation of gnatcov32 when instrumenting
-  # the driver. This will be a problem: in the former case,
-  # gnatcov_bits_specific.adb is instrumented as a main but not in the latter
-  # case (gnatcov.adb is). This means that if we use the version that was not
-  # instrumented as a main to compile gnatcov32, running gnatcov32 will not
-  # dump execution traces.
+	# We need to instrument and build at the same time: the driver and
+	# gnatcov32 builds share the same object directory, meaning that
+	# gnatcov will remove files resulting from the instrumentation of
+	# gnatcov32 when instrumenting the driver. This will be a problem: in
+	# the former case, gnatcov_bits_specific.adb is instrumented as a main
+	# but not in the latter case (gnatcov.adb is). This means that if we
+	# use the version that was not instrumented as a main to compile
+	# gnatcov32, running gnatcov32 will not dump execution traces.
 
 	gnatcov instrument -j0 -P gnatcov.gpr -XPART=gnatcov64
 	$(GPRBUILD) $(BIN_COMMON_BUILD_ARGS) -XPART=gnatcov64 \
-    --src-subdirs=gnatcov-instr
+	  --src-subdirs=gnatcov-instr
 
 	gnatcov instrument -j0 -P gnatcov.gpr -XPART=gnatcov32
 	$(GPRBUILD) $(BIN_COMMON_BUILD_ARGS) -XPART=gnatcov32 \
-    --src-subdirs=gnatcov-instr
+	  --src-subdirs=gnatcov-instr
 
 	gnatcov instrument -j0 -P gnatcov.gpr -XPART=driver
 	$(GPRBUILD) $(BIN_COMMON_BUILD_ARGS) -XPART=driver \
-    --src-subdirs=gnatcov-instr
+	  --src-subdirs=gnatcov-instr
 
 	gnatcov instrument -j0 -P gnatcov.gpr -XPART=compiler
 	$(GPRBUILD) $(BIN_COMMON_BUILD_ARGS) -XPART=compiler \
-    --src-subdirs=gnatcov-instr 
+	  --src-subdirs=gnatcov-instr
 else
-  # Start with the 64-bit gnatcov, which has the largest closure
+	# Start with the 64-bit gnatcov, which has the largest closure
 	$(GPRBUILD) $(BIN_COMMON_BUILD_ARGS) -XPART=gnatcov64
 	$(GPRBUILD) $(BIN_COMMON_BUILD_ARGS) -XPART=gnatcov32
 	$(GPRBUILD) $(BIN_COMMON_BUILD_ARGS) -XPART=driver
@@ -257,7 +257,7 @@ install-bin:
 	$(CP) \
 	   $(PGM32PATH)$(exeext) \
 	   $(PGM64PATH)$(exeext) \
-     $(COMPILERPATH)$(exeext) \
+	   $(COMPILERPATH)$(exeext) \
 	   $(PREFIX)/libexec/gnatcoverage
 
 install-examples:

tools/gnatcov/gnatcov.gpr

@@ -64,7 +64,7 @@ project Gnatcov is
 
    case Part is
       when "gnatcov64" | "compiler" => null;
-      when others      => C_Support := "False";
+      when others                   => C_Support := "False";
    end case;
 
    type Build_Mode_Type is ("dev", "prod", "boot");