FilesExpand file tree

master

/

build_tools.sh

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

executable file

·

8 lines (7 loc) · 211 Bytes

master

/

build_tools.sh

Copy path

Top

File metadata and controls

• Code
• Blame

executable file

·

8 lines (7 loc) · 211 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

#!/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