diff --git a/VERSION b/VERSION index 95183e5fff..7e120beb72 100644 --- a/VERSION +++ b/VERSION @@ -4,4 +4,4 @@ # $Id$ # -RTEMS Version ss-20010712 +RTEMS Version eng-20010816