auto-install-hpp: use makefiles/$BRANCH.mk

f9d584f0 · Guilhem Saurel · d4cfe781 · f9d584f0
Commit f9d584f0 authored Nov 18, 2020 by Guilhem Saurel
--- a/scripts/auto-install-hpp.sh
+++ b/scripts/auto-install-hpp.sh
@@ -128,7 +128,7 @@ mkdir --parents $DEVEL_HPP_DIR/install

 # Get config script
 wget -q -O $DEVEL_HPP_DIR/config.sh ${GITREPO}/${BRANCH}/doc/config/${CONFIG_FILE}
-wget -q -O $DEVEL_HPP_DIR/src/Makefile ${GITREPO}/${BRANCH}/doc/Makefile
+wget -q -O $DEVEL_HPP_DIR/src/Makefile ${GITREPO}/makefiles/${BRANCH}.mk

 source $DEVEL_HPP_DIR/config.sh