pokeemerald/build_tools.sh

#!/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
Create build_tools.sh 2017-12-03 19:42:55 -06:00			`#!/bin/sh`
Deprecate build_tools.sh 2019-08-15 15:17:13 -04:00
Update deprecated build_tools script 2019-08-27 09:15:44 -04:00			`echo "This script is deprecated. Next time, run \"make tools\" instead."`
Deprecate build_tools.sh 2019-08-15 15:17:13 -04:00			`for dname in tools/*; do`
Update deprecated build_tools script 2019-08-27 09:15:44 -04:00			`if [ -f ${dname}/Makefile ]; then`
			`make -C ${dname} CXX=${1:-g++} --no-print-directory`
Deprecate build_tools.sh 2019-08-15 15:17:13 -04:00			`fi`
			`done`