1 files changed, 10 insertions, 0 deletions
diff --git a/make/include/tool.defs b/make/include/tool.defs
new file mode 100644
index 000000000..0ccccd728
--- /dev/null
+++ b/make/include/tool.defs
@@ -0,0 +1,10 @@
+AR.exe    = ar
+CP.exe    = cp
+CURL.exe  = curl
+M4.exe    = m4
+MKDIR.exe = mkdir
+PATCH.exe = patch
+RM.exe    = rm
+TAR.exe   = tar
+TOUCH.exe = touch
+WGET.exe  = wget