pokeemerald/build_tools.sh
2019-08-27 09:15:44 -04:00

9 lines
211 B
Bash
Executable File

#!/bin/sh
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++} --no-print-directory
fi
done