Statistics
| Branch: | Revision:

root / toolbox / program_tool @ f15d9227

History | View | Annotate | Download (122 Bytes)

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