make/linux/makefiles/buildtree.make

changeset 4344
892acf0431ef
parent 4167
9855b7e559ae
child 4780
98f3af397705
equal deleted inserted replaced
4332:4a2ed49abd51 4344:892acf0431ef
440 echo "if [ \$$? -ne 0 ]; then "; \ 440 echo "if [ \$$? -ne 0 ]; then "; \
441 echo " $(WRONG_DATA_MODE_MSG)"; \ 441 echo " $(WRONG_DATA_MODE_MSG)"; \
442 echo " exit 0"; \ 442 echo " exit 0"; \
443 echo "fi"; \ 443 echo "fi"; \
444 echo ""; \ 444 echo ""; \
445 echo "# Use gamma_g if it exists"; \
446 echo ""; \
447 echo "GAMMA_PROG=gamma"; \ 445 echo "GAMMA_PROG=gamma"; \
448 echo "if [ -f gamma_g ]; then "; \
449 echo " GAMMA_PROG=gamma_g"; \
450 echo "fi"; \
451 echo ""; \ 446 echo ""; \
452 echo "if [ \"$(OS_VENDOR)\" = \"Darwin\" ]; then "; \ 447 echo "if [ \"$(OS_VENDOR)\" = \"Darwin\" ]; then "; \
453 echo " # Ensure architecture for gamma and JAVA_HOME is the same."; \ 448 echo " # Ensure architecture for gamma and JAVA_HOME is the same."; \
454 echo " # NOTE: gamma assumes the OpenJDK directory layout."; \ 449 echo " # NOTE: gamma assumes the OpenJDK directory layout."; \
455 echo ""; \ 450 echo ""; \

mercurial