Project

General

Profile

Statistics
| Branch: | Revision:

root / toolbox / program_tool @ master

History | View | Annotate | Download (122 Bytes)

1 f15d9227 Tom Mullins
#!/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