1 mike  1.1 
 2           variables:
 3           	@ echo "ROOT=$(ROOT)"
 4           	@ echo "DIR=$(DIR)"
 5           	@ echo "BUILD_DIR=$(BUILD_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)"