summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2016-08-09 08:16:29 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2016-08-09 08:16:29 +0200
commit42bfaf23fb67270261942ce8f6a0e9bc0416bf33 (patch)
tree1e6d54585990bfb1d2c1cd9de65c3a8481dcc399
parent75c42bb070356c8fd80356055ba0f44bc521b5cd (diff)
Use RTEMS 4.12 by default
-rwxr-xr-xrtems/install.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/rtems/install.sh b/rtems/install.sh
index e53183d..c9f9e35 100755
--- a/rtems/install.sh
+++ b/rtems/install.sh
@@ -1,6 +1,6 @@
#!/bin/sh
-rtems_version="4.11"
+rtems_version="4.12"
for target in arm-rtems$rtems_version arm-rtemseabi$rtems_version \
avr-rtems$rtems_version bfin-rtems$rtems_version \
h8300-rtems$rtems_version i386-rtems$rtems_version \