1 mike  1.1 
 2           variables:

 3 mike  1.3 	@ $(ECHO) "ROOT=$(ROOT)"
 4           	@ $(ECHO) "DIR=$(DIR)"
 5           	@ $(ECHO) "HOME_DIR=$(HOME_DIR)"
 6           	@ $(ECHO) "ACE_ROOT=$(ACE_ROOT)"
 7           	@ $(ECHO) "OS_TYPE=$(OS_TYPE)"
 8           	@ $(ECHO) "OBJ_DIR=$(OBJ_DIR)"
 9           	@ $(ECHO) "BIN_DIR=$(BIN_DIR)"
10           	@ $(ECHO) "LIB_DIR=$(LIB_DIR)"
11           	@ $(ECHO) "REPOSITORY_ROOT=$(REPOSITORY_ROOT)"