Add versioned autoconf tools

digital-asset · Feb 10, 2022 · 8a10cbf · 8a10cbf
1 parent b5d8ed1
commit 8a10cbf
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/WORKSPACE b/WORKSPACE
@@ -820,12 +820,19 @@ dadew_binary_bundle(
         "usr/bin/bash",
         # autoconf
         "usr/bin/autoconf",
+        "usr/bin/autoconf-2.71",
         "usr/bin/autoheader",
+        "usr/bin/autoheader-2.71",
         "usr/bin/autom4te",
+        "usr/bin/autom4te-2.71",
         "usr/bin/autoreconf",
+        "usr/bin/autoreconf-2.71",
         "usr/bin/autoscan",
+        "usr/bin/autoscan-2.71",
         "usr/bin/autoupdate",
+        "usr/bin/autoupdate-2.71",
         "usr/bin/ifnames",
+        "usr/bin/ifnames-2.71",
         # automake
         "usr/bin/aclocal",
         "usr/bin/aclocal-1.16",