diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/build b/tools/build index e467f68..b573b84 100755 --- a/tools/build +++ b/tools/build @@ -1,6 +1,4 @@ #!/bin/sh -# -# $Id: build,v 1.1.1.1 2000/02/16 23:32:47 shmit Exp $ os=`uname -s` rev=`uname -r` |