diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 6080fdf..9533b7b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -52,6 +52,11 @@ bash := @@bash@@ grep := @@grep@@ make := @@make@@ sed := @@sed@@ +libtool:= @@libtool@@ +objcopy:= @@objcopy@@ +objdump:= @@objdump@@ +readelf:= @@readelf@@ +patch := @@patch@@ ############################################################################### # Sanity checks @@ -139,6 +144,11 @@ paths.mk: echo "export grep=$(grep)"; \ echo "export make=$(make)"; \ echo "export sed=$(sed)"; \ + echo "export libtool=$(libtool)"; \ + echo "export objcopy=$(objcopy)"; \ + echo "export objdump=$(objdump)"; \ + echo "export readelf=$(readelf)"; \ + echo "export patch=$(patch)"; \ ) >paths.mk #-------------------------------------- |