Revision f15d9227

View differences:

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