diff --git a/tools/install-gnuarm4.sh b/tools/install-gnuarm4.sh
index d4fdd2f53..793bdbf5d 100755
--- a/tools/install-gnuarm4.sh
+++ b/tools/install-gnuarm4.sh
@@ -273,5 +273,5 @@ chmod -R a+rX .
 
 echo Downloaded archives are in ${SRCDIR}
 echo build driectory: ${BUILDDIR}
-echo set environment variable ARMLIB to ${DESTDIR}/lib/gcc/arm-elf/4.3.3/interwork for Makefile.linux
+echo set environment variable ARMLIB to ${DESTDIR}/lib/gcc/arm-eabi/4.3.3/interwork for Makefile.linux
 exit 0