diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/setup.def | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/doc/setup.def b/doc/setup.def deleted file mode 100644 index e41cfa82a0..0000000000 --- a/doc/setup.def +++ /dev/null @@ -1,21 +0,0 @@ -# -# RTEMS tools setup -# - -binutils_version=2.18.91 -# binutils_patch_version= -binutils_suffix=.tar.bz2 -binutils_rpm_release=1 -gdb_version=6.8 -gdb_suffix=.tar.bz2 -gdb_patch_version=rtems4.10-20080917 -gdb_rpm_release=3 -rtems_version=4.10.99.0 -rtems_rpm_release=1 -newlib_version=1.16.0 -newlib_suffix=.tar.gz -newlib_patch_version=rtems4.10-20080925 -gcc_version=4.3.2 -gcc_suffix=.tar.bz2 -gcc_patch_version=rtems4.10-20080917 -gccnewlib_rpm_release=3 |