Changeset 535 for CMT/HEAD/src/Makefile.header

Timestamp:

Mar 26, 2010, 11:56:50 AM (15 years ago)

Author:

rybkin

Message:

See C.L. 422

File:

• CMT/HEAD/src/Makefile.header (modified) (2 diffs)

CMT/HEAD/src/Makefile.header

@@ -42 +42 @@
           $(MAKE) --no-print-directory target="all" common_target; \
         else \
-          echo "#CMT> There are configuration errors. Please correct them before running gmake"; \
+          test -z "$(cmtmsg)" || \
+          echo "$(CMTMSGPREFIX)" "(Makefile.header) Configuration error(s). Please correct" >&2; \
         fi
 
@@ -53 +54 @@
             test -z "$(cmtmsg)" || \
             echo "$(CMTMSGPREFIX)" "(Makefile.header) Removing binary directory $(bin)"; \
-            /bin/rm -rf $(bin) ; \
+            \rm -rf $(bin) ; \
           fi ; \
         fi