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