summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in10
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
#--------------------------------------