Minor change to hopefully fix weber's install process

toolset/setup/linux/installer.py

@@ -285,8 +285,10 @@ class Installer:
     # Weber
     #
     self.__run_command("git clone https://github.com/elixir-web/weber.git");
-    self.__run_command("bash -c 'make'", cwd="weber");
-    self.__run_command("bash -c 'make test'", cwd="weber");
+    # To get the two make commands working, we need to hard code the path for elixir's "mix"
+    self.__run_command("sed -i 's:$(MIX):/home/tfb/FrameworkBenchmarks/installs/elixir-0.13.3/bin/mix:' Makefile", cwd="weber")
+    self.__run_command("make", cwd="weber");
+    self.__run_command("make test", cwd="weber");
 
     ##############################################################
     # Frameworks