Makefile.in
changeset 1981 7130357d712b
parent 1876 a6a4beab3125
child 1993 6641889d5603
     1.1 --- a/Makefile.in	Fri Apr 02 00:18:26 2010 +0200
     1.2 +++ b/Makefile.in	Sun Jun 13 20:43:02 2010 +0200
     1.3 @@ -52,6 +52,11 @@
     1.4  grep   := @@grep@@
     1.5  make   := @@make@@
     1.6  sed    := @@sed@@
     1.7 +libtool:= @@libtool@@
     1.8 +objcopy:= @@objcopy@@
     1.9 +objdump:= @@objdump@@
    1.10 +readelf:= @@readelf@@
    1.11 +patch  := @@patch@@
    1.12  
    1.13  ###############################################################################
    1.14  # Sanity checks
    1.15 @@ -139,6 +144,11 @@
    1.16  	  echo "export grep=$(grep)";       \
    1.17  	  echo "export make=$(make)";       \
    1.18  	  echo "export sed=$(sed)";         \
    1.19 +	  echo "export libtool=$(libtool)"; \
    1.20 +	  echo "export objcopy=$(objcopy)"; \
    1.21 +	  echo "export objdump=$(objdump)"; \
    1.22 +	  echo "export readelf=$(readelf)"; \
    1.23 +	  echo "export patch=$(patch)";     \
    1.24  	 ) >paths.mk
    1.25  
    1.26  #--------------------------------------