diff options
Diffstat (limited to 'release_support')
-rwxr-xr-x | release_support | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/release_support b/release_support index 80699015d6..6d98b26fe8 100755 --- a/release_support +++ b/release_support @@ -18,6 +18,12 @@ if test $# -lt 1 ; then usage "not enough arguments." fi +user_name=`grep ^$LOGNAME /etc/passwd | cut -d':' -f5 | cut -d',' -f1` +# If you don't have user information, then we won't commit anything. +if test "X${user_name}" = "X" ; then + echo "User information not set" + usage +fi case $1 in name) echo "RTEMS" |