Update deprecated build_tools script

This commit is contained in:
PikalaxALT 2019-08-27 09:15:44 -04:00
parent 4541b959b6
commit 40c1db1106

View File

@ -1,8 +1,8 @@
#!/bin/sh
echo "This script is deprecated. Run \"make tools\" instead."
echo "This script is deprecated. Next time, run \"make tools\" instead."
for dname in tools/*; do
if [[ -f ${dname}/Makefile ]]; then
make -C ${dname} CXX=${1:-g++}
if [ -f ${dname}/Makefile ]; then
make -C ${dname} CXX=${1:-g++} --no-print-directory
fi
done