+
+ifdef use_monolite
+
+do-profile-check-monolite:
+ echo "*** The contents of your 'monolite' directory may be out-of-date" 1>&2
+ echo "*** You may want to try 'make get-monolite-latest'" 1>&2
+ rm -f $(monolite_flag)
+ exit 1
+
+else
+
+do-profile-check-monolite:
+ echo "*** The compiler '$(BOOTSTRAP_MCS)' doesn't appear to be usable." 1>&2
+ echo "*** Trying the 'monolite' directory." 1>&2
+ echo dummy > $(monolite_flag)
+ $(MAKE) do-profile-check
+
+endif
+