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