Revision f15d9227
Adding program_tool script so we remember how to set tool id
toolbox/program_tool | ||
---|---|---|
1 |
#!/bin/bash |
|
2 |
|
|
3 |
if [ "$1" = "" ]; then |
|
4 |
echo Usage: ./program_tool number |
|
5 |
exit 1 |
|
6 |
fi |
|
7 |
|
|
8 |
exec make -B TOOL_ADDRESS=$1 program |
Also available in: Unified diff