-# We intentionally don't invoke configure and make because we don't
-# know where the user wants to run the configuration, nor with which
-# arguments. That is entirely up to the user.
-
+# At this point we intentionally don't invoke configure and make
+# because we don't know where the user wants to run the configuration,
+# nor with which arguments. That should be up to the user.