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