pokeemerald/build_tools.sh

9 lines
211 B
Bash
Raw Permalink Normal View History

2017-12-04 01:42:55 +00:00
#!/bin/sh
2019-08-15 19:17:13 +00:00
2019-08-27 13:15:44 +00:00
echo "This script is deprecated. Next time, run \"make tools\" instead."
2019-08-15 19:17:13 +00:00
for dname in tools/*; do
2019-08-27 13:15:44 +00:00
if [ -f ${dname}/Makefile ]; then
make -C ${dname} CXX=${1:-g++} --no-print-directory
2019-08-15 19:17:13 +00:00
fi
done