5 lines
95 B
Bash
5 lines
95 B
Bash
|
#!/bin/sh
|
||
|
|
|
||
|
|
echo "This script is deprecated. Next time, run \"make tools\" instead."
|
||
|
|
make tools
|